نتایج جستجو

...نظریه اصل موضوعی مجموعه‌ها]]، '''اصل موضوع بی‌نهایت''' یکی از اصول موضوع [[نظریه مجموعه‌های تسرملو-فرنکل]] است. این اصل موضوع وجود حداقل یک [[مجموعه نامتناه ...ن نیز یک مجموعه یگانه است. تالی‌ها معمولاً برای تعریف اعداد طبیعی در نظریه مجموعه‌ها به کار می‌روند؛ به این [[نحو]] که صفر، مجموعه تهی و n حاصل nبار اعمال عمل ت ...

از جمله اصول موضوع [[نظریه مجموعه‌های تسرملو-فرانکیل]] '''اصل موضوع مجموعه تهی''' است. * [[نظریه مجموعه ها]] ...

در [[نظریه مجموعه‌ها]]، '''اصول موضوع جایگزینی''' اصول موضوعی در [[نظریه مجموعه‌های تسرملو-فرنکل]] (ZF) هستندکه وجود تصویر هر مجموعه تحت هر نگاشت قا ...می‌گوید رده دیگر نیز مجموعه است. با این حال از آن جا که ZFC تنها درباره‌ی مجموعه‌ها صحبت می‌کند و نه رده‌های سره، این اصول موضوع برای نگاشت‌های پوشای قابل تعری ...

...''زرملو-فرنکل'' است، که به [[نظریه اصل موضوعی مجموعه‌ها|نظریهٔ اصل موضوعی مجموعه‌ها]] تعلق داشته، و در شاخه‌هایی از [[منطق]]، [[ریاضیات]]، و [[علوم کامپیوتر]] اصطلاح اصل موضوع هم‌مصداقی یک اصل از نظریه مجموعه است که توسط ریچارد ددکیند در سال ۱۸۸۸ فرموله شده‌است، و تنها بیان می ...

...مجموعه ساز در [[نظریه اصل موضوعی مجموعه ها|نظریه اصل موضوعی مجموعه‌های]] [[نظریه مجموعه‌های تسرملو-فرانکیل|تسرملو-فرانکیل]] است. گاهی در ارتباط کار با مجموعه‌ها ممکن است نظر ما به سوی زیرمجموعه‌های یک مجموعه مفروض جلب شود و با زیرمجموعه ...

...همه نتایج و تعاریف بر پایه [[اصول موضوع]] تعریف شده‌است و هر مطلب در مورد مجموعه‌ها یا باید از اصول موضوع منتج شده باشد. تقریباً تمامی اصول موضوع نظریه اصل موضوعی مجموعه‌ها (بجز مثلاً [[اصل موضوع گسترش]]) از جمله اصولی هستند که به منظور تولید مجموع ...

برای اولین قدم تا رسیدن به پاسخ این پرسش‌ها در [[نظریه اصل موضوعی مجموعه‌ها]]، به اصل موضوع مجموعه‌ساز دیگری نیازمندیم که '''اصل موضوع زوج سازی''' (Axi ...یا به نظر شما برای هر تعداد مجموعهٔ دلخواه، مجموعه‌ای وجود دارد که شامل آن مجموعه‌ها باشد؟ ...

...اه از مجموعه‌ها قابل اعمال است. به عبارت دیگر فرض کنید C دسته‌ای دلخواه از مجموعه‌ها باشد. آیا می‌توان مجموعه‌ای فراگیر در اختیار داشت که شامل همه عناصری باشد ک یا به بیان دیگر برای هر دسته دلخواه از مجموعه‌ها، مجموعه‌ای وجود دارد که شامل همه عناصری است که حداقل به یکی از مجموعه‌های د ...

# اندازهٔ اشتراک دو به دو مجموعه‌ها را کم کنید، # اندازهٔ اشتراک هر سه‌تایی از مجموعه‌ها را اضافه کنید، ...