01- مسلمة الوجود

Axiom of Existence

تنص المسلمة على أن العبارة المنطقية التالية :


\exists y \forall x ( x \not \in y )

تحمل القيمة : "صواب" .

نطلق على المجموعات y التي تحقق الخاصية \forall x ( x \not \in y ) المجموعات الخالية . لذا فإن مسلمة الوجود تقول لنا أن هناك مجموعة خالية واحدة على الأقل . وسنرى لاحقاً أن هذه المجموعة وحيدة .