"نظریۂ طاقم" کے نسخوں کے درمیان فرق
حذف شدہ مندرجات اضافہ شدہ مندرجات
Hammad (تبادلۂ خیال | شراکتیں) گروہ زمرہ بندی: حذف از زمرہ:ریاضیات |
م خودکار: درستی ربط از دالہ (ریاضیات) > تفاعل (ریاضیات) (بدرخواست صارف:Yethrosh) |
||
سطر 7:
نظریہ طاقم کا جدید مطالعہ [[جورج کنٹور|گورگ کانٹر]] اور [[Richard Dedekind|رچرڈ ڈیڈیکائنڈ]] نے 1870ء کی دہائی میں شروع کیا۔ رسمی نظریہ طاقم میں [[Paradoxes of set theory|متناقضہات]] کی دریافت کے بعد، اوائل بیسویں صدی میں بہت سے [[Axiomatic system|مسلماتی نظام]] تجویز کیے گئے، جن میں [[Zermelo–Fraenkel set theory|زرملو-فرینکل مسلمات]]، جس میں [[axiom of choice|انتخاب کا مسلمہ]] شامل ہے، مشہور ہیں۔
نظریہ طاقم کی زبان قریباً تمام ریاضیاتی اشیاء کی تعریف میں استعمال ہوتی ہے، جیسا کہ [[
نظریۂ طاقم کو عموماً ریاضیات کی بنیاد کے طور پر بروئے کار لایا جاتا ہے، خاص طور پر [[Zermelo–Fraenkel set theory|نظریہ طاقم]] جس میں [[axiom of choice|انتخاب کا مسلمہ]] ہے، کے رُوپ میں۔ اپنے بنیاد کردار کے آگے، نظریہ طاقم ریاضیات کی برحق شاخ ہے، جس کی اپنی سرگرم محقق برادری ہے۔ نظریہ طاقم میں ہمعصر تحقیق میں متنوع موضوعات کا مجموعہ شامل ہیں، جو [[حقیقی عدد|حقیقی لکیر]] کی ساخت سے لے کر [[large cardinal|بڑے اعدادِ وضفی]] میں [[consistency|بغیرتضاد]] کے مطالعہ تک جاتا ہے۔
|