اصل موضوع مجموعه تهی

در قالب عبارات صوری ریاضی این اصل بیان می‌کند

${\displaystyle \mathrm{\exists }x\mathrm{\forall }y\mathrm{\neg }(y\in x)}$

که می‌توان آن را چنین تفسیر کرد: مجموعه ای وجود دارد که هیج عضوی ندارد.

اصل موضوع گسترش یگانگی چنین مجموعه‌ای را تضمین می‌کند و لذا چنین مجموعه‌ای شایسته نام و نماد است. مجموعه بی هیچ عضو را مجموعه تهی می نامیم و آن را با {} یا ${\displaystyle \varnothing }$

اصل موضوع مجموعه تهی را می‌توان به نوعی توسط اصل موضوع تصریح نتیجه گرفت. در ابتدا برای آنکه چیزی در اختیار داشته باشیم فرض کنید مجموعه‌ای وجود دارد. اگر این مجموعه را A بنامیم با استفاده از اصل موضوع تصریح و در نظر گرفتن یک گزاره نمای همواره نادرست چون ${\displaystyle x\ne x}$

مطلب اخیر باعث می‌شود، برخی اصل موضوع مجموعه تهی را به عنوان یک قضیه و نه یک اصل قبول کنند. در این شیوه استدلال فرض وجود حداقل یک مجموعه پذیرفته شده است و لذا می‌توان وجود مجموعه تهی را به عنوان قضیه نشان داد.

• اصل موضوع گسترش
• اصل موضوع تصریح
• اصل موضوع زوج سازی
• اصل موضوع اجتماع
• اصل موضوع مجموعه توانی
• اصل موضوع بینهایت
• اصل موضوع انتخاب
• اصل موضوع جایگزینی
• نظریه مجموعه ها
• مجموعه
• نظریه اصل موضوعی مجموعه‌ها
• نظریه طبیعی مجموعه‌ها

• پل ریچارد هالموس (۱۳۷۳)، نظریه طبیعی مجموعه ها، ترجمهٔ عبدالحمید دادالله، تهران: مرکز نشر دانشگاهی، شابک ۹۶۴-۰۱-۰۰۵۲-۸