အစုသီအိုရီ: တည်းဖြတ်မှု မူကွဲများ
Content deleted Content added
stub done |
အရေးမကြီး nuances |
||
စာကြောင်း ၁ -
[[Image:Venn A intersect B.svg|thumb|right|အစုနှစ်ခုတွင် ဘုံပါဝင်သည့် အပိုင်းကို [[:en:Venn diagram|ဗန်းပုံ (Venn diagram)]] သုံး၍ ဖော်ပြထားပုံ]] '''အစု သီအိုရီ''' (set theory)
ဘာသာရပ်များတွင် သီအိုရီတစ်ခုကို အစပျိုးသူ ပညာရှင် အများအပြား ရှိလေ့ရှိသော်လည်း ခေတ်ပေါ်အစုသီအိုရီကို ဂျာမန်သင်္ချာပညာရှင် [[ဂျော့ ကန်တာ|ဂျော့ ကန်တာ (George Cantor)]] တစ်ဦးတည်းက အဓိက အစပျိုးခဲ့သည်ဟု ဆိုလေ့ရှိသည်။{{sfn|Ferreirós|2007|p=xv}} နှစ်ဆယ်ရာစုဦးပိုင်း၌ အစုသီအိုရီဆိုင်ရာ paradox ခေါ် အဓိပ္ပာယ်မဲ့ယောင် သဟဇာတ မကိုက်ညီမှုများ မတွေ့ရှိခင်အထိ [[ရိုးရိုးအစုသီအိုရီ|ရိုးရိုးအစု သီအိုရီ (naive set theory)]] ဖြင့်သာ လုံလောက်ခဲ့သော်လည်း၊ ၎င်း သဟဇာတ မကိုက်ညီမှု ပြဿနာများကြောင့် နောက်ပိုင်းတွင် [[အက်ဆီယမ်ကျကျအစုသီအိုရီ|အက်ဆီယမ်ကျကျ အစုသီအိုရီ (axiomatic set theory)]] လိုအပ်လာသည်။ ၎င်း အက်ဆီယမ်စနစ်များအနက် ဇာမလို-ဖရန်ကယ် အက်ဆီယမ်များ (Zermelo–Fraenkel axioms) နှင့် ရွေးချယ်နိုင်စွမ်း အက်ဆီယမ် (axiom of choice) ကို ပေါင်းစပ်ဖွဲ့စည်းထားသည့် '''ZFC''' ဟု အတိုကောက်ခေါ်သည့် စနစ်မှာ အသုံးအများဆုံး ဖြစ်သည်။
|