نتایج جستجو

...ه ناتهی از آن داری کوچکترین عضو باشد. مجموعه داری ویژگی خوش ترتیبی، مجموعه خوش ترتیب نامیده می‌شود. ...ِ غیر مؤکد باشد، رابطه کوچکتری (>) یک رابطه خوش ترتیب مؤکد است.تفاوت روابط خوش ترتیب موکد و ناموکد در اغلب موارد نادیده گرفته می‌شود زیرا این دو به راحتی ...

[[رده:خوش بنیانی]] ...

...رود (گرچه که این تعریف برای کلاس‌های محض خوش ترتیب کار نمی‌کند). یک مجموعه خوش ترتیب مجموعه ای با رابطه> است چنان‌که: * (خوش-بنیانی) هر زیر مجموعه ناتهی دارای کوچک‌ترین عنصر است، یعنی عنصری چون x دارد چنان‌ک ...

...ه مجموعه‌ها اجازه می‌دهد عضو خود باشند، و به بیانی، [[خوش بنیانی|رابطه خوش‌بنیانی]] (well-foundedness) را نقض کنند. در نظریه‌های مجموعه ای ناخوش‌بنیان، [[اصل ...آنها او تمایز بین مجموعه‌های خوش‌بنیان و ناخوش‌بنیان را معرفی کرد؛ وی خوش‌بنیانی را به عنوان یک [[اصل موضوع (منطق)|اصل موضوعه]] در نظر نگرفت. اگرچه بعداً تع ...

...می‌شود، [[کلاس (نظریه مجموعه‌ها)|کلاسی]] از [[رابطه خوش-بنیانی|مجموعه‌های خوش-بنیان]] موروثی است. این گردایه، که توسط [[نظریه مجموعه تسرملو-فرانکل|نظریه '''رتبه''' یک مجموعه خوش بنیان به صورت استقرایی به عنوان کوچک‌ترین [[عدد ترتیبی]] بزرگتر از رتبه‌های ...

...مان]] (۱۸۲۶-۱۸۶۶) پیشنهاد شد، یک تلاش موفقیت آمیز گسترده در جهت ارائه چنین بنیانی بود. تعریف ریمان با ساخت دنباله ای از مساحت‌ها شروع می کند که به راحتی قابل ...که <math>f^*</math> یک تابع نا-منفی نزولیست و لذا یک انتگرال ریمانی ناسره خوش تعریف دارد که مقدار آن در بازه <math>[0, \infty]</math> قرار می گیرد. برای ...