အစုသီအိုရီ: တည်းဖြတ်မှု မူကွဲများ

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