سوال ۱۰۷ کنکور ارشد علوم کامپیوتر ۱۴۰۵
اهمیت
۰/۵
دو عبارت زیر را در نظر بگیرید:
الف ــ با استفاده از اصل تصریح (Axiom Schema of Comprehension) در نظریه مجموعه‌ها می‌توان ثابت کرد که اشتراک دو مجموعه یک مجموعه است.
ب ــ اصل نظم (Regularity) نتیجه می‌دهد که هیچ مجموعه‌ای عضو خودش نیست.
از این دو عبارت کدام درست است؟
پاسخ صحیح: گزینهٔ A — هر دو
پاسخ تشریحی
Both statements are provable in ZF(C), so the answer is Both.
ادامهٔ پاسخ تشریحی ویژهٔ مشترکان است.
مشاهدهٔ پاسخ کامل#axiomatic-set-theory#axiom-of-specification#axiom-of-regularity#zfc#set-intersection#no-set-is-member-of-itself