KAPSAYICI sıf. Mant.
1. Kısırdöngü ilkesini çiğneyen bir tanım için kullanılır. (Bk. ansikl. böl.)
2. Ancak kısırdöngü ilkesini çiğneyen bir tanımla belirlenebilen bir bütünselliğe denir.

—ANSİKL. Russell’a göre, kapsayıcı tanım, tanımda gözüken bir niceleyici tarafından bağlanmış bir değişkenin değerlerinden birini oluşturan bir nesneyi tanımlar; ya da: tanımlanacak nesnenin ait olduğu bütünselliği işe sokan ya da bunu şart koşan bir tanımdır. Gödel'e göre, böyle bir tanım, ancak “platoncu” bir matematik anlayışını benimsemek, yani tanımlanan nesnenin, tanımından önce herhangi bir biçimde var olduğunu düşünmek koşuluyla geçerli sayılabilir.