အစုသီအိုရီ

ဘာသာရပ်များတွင် သီအိုရီတစ်ခုကို အစပျိုးသူ ပညာရှင် အများအပြား ရှိလေ့ရှိသော်လည်း ခေတ်ပေါ်အစုသီအိုရီကို ဂျာမန်သင်္ချာပညာရှင် ဂျော့ ကန်တာ (George Cantor) တစ်ဦးတည်းက အဓိက အစပျိုးခဲ့သည်ဟု ဆိုလေ့ရှိသည်။ နှစ်ဆယ်ရာစုဦးပိုင်း၌ အစုသီအိုရီဆိုင်ရာ paradox ခေါ် အဓိပ္ပာယ်မဲ့ယောင် သဟဇာတ မကိုက်ညီမှုများ မတွေ့ရှိခင်အထိ ရိုးရိုးအစု သီအိုရီ (naive set theory) ဖြင့်သာ လုံလောက်ခဲ့သော်လည်း၊ ၎င်း သဟဇာတ မကိုက်ညီမှု ပြဿနာများကြောင့် နောက်ပိုင်းတွင် အက်ဆီယမ်ကျကျ အစုသီအိုရီ (axiomatic set theory) လိုအပ်လာသည်။ ၎င်း အက်ဆီယမ်စနစ်များအနက် ဇာမလို-ဖရန်ကယ် အက်ဆီယမ်များ (Zermelo–Fraenkel axioms) နှင့် ရွေးချယ်နိုင်စွမ်း အက်ဆီယမ် (axiom of choice) ကို ပေါင်းစပ်ဖွဲ့စည်းထားသည့် ZFC ဟု အတိုကောက်ခေါ်သည့် စနစ်မှာ အသုံးအများဆုံး ဖြစ်သည်။

အညွှန်း

ကိုးကား



Category:သင်္ချာ