بنیان‌های ریاضیات
پیوندهای خارجی

مجموعه‌ای از گفتاوردهای مربوط به  در ویکی‌گفتاورد موجود است.
Logic and Mathematics
Foundations of Mathematics: past, present, and future, May 31, 2000, 8 pages.
A Century of Controversy over the Foundations of Mathematics by Gregory Chaitin. آرخیو:chao-dyn/9909001
| ن ب وفرامنطق فراریاضیات | ن ب وفرامنطق فراریاضیات |
| --- | --- |
 قضیه کانتور  Entscheidungsproblem  تز چرچ-تورینگ  سازگاری (منطق ریاضی)  روش مؤثر  بنیان‌های ریاضیات در مورد هندسه  قضیه تمامیت گودل  قضایای ناتمامیت گودل  استواری  تمامیت (منطق)  تصمیم‌پذیری (منطق)  تفسیر  قضیه لوونهایم-اسکولم  فراقضیه  ارضاء پذیری  استقلال  تمایز نوع و نمونه  Use–mention distinction :  قضیه کانتور  Entscheidungsproblem  تز چرچ-تورینگ  سازگاری (منطق ریاضی)  روش مؤثر  بنیان‌های ریاضیات در مورد هندسه  قضیه تمامیت گودل  قضایای ناتمامیت گودل  استواری  تمامیت (منطق)  تصمیم‌پذیری (منطق)  تفسیر  قضیه لوونهایم-اسکولم  فراقضیه  ارضاء پذیری  استقلال  تمایز نوع و نمونه  Use–mention distinction 
| ن ب ومنطق ریاضی | ن ب ومنطق ریاضی |
| --- | --- |
عمومی:  زبان صوری  قاعده ساخت  سیستم صوری  سیستم صوری  اثبات صوری  معناشناسی صوری  فرمول‌های خوش فرم  مجموعه  عنصر  رده  منطق کلاسیک  اصل موضوع  استنتاج طبیعی  قواعد استنتاج  رابطه  قضیه  استلزام  سیستم اصل موضوعه ای  نظریه نوع‌ها  نماد  نحو  نگره 
منطق سنتی:  گزاره  استنباط  برهان  اعتبار  استدلال منطقی  قیاس  مربع ضدیت  نمودار ون 
حساب گزاره‌ای جبر بولی:  تابع بولی  حساب گزاره‌ای  فرمول گزاره‌ای  رابط‌های منطقی  جدول ارزش 
منطق مسند:  حساب محمولات  سور  محمول  مرتبه دوم  حساب محمولات تکین 
نظریه طبیعی مجموعه‌ها:  مجموعه  مجموعه تهی  شمارش  مصداقیت  مجموعه متناهی  مجموعه نامتناهی  زیرمجموعه  مجموعه توانی  مجموعه شمارا  مجموعه ناشمارا  مجموعه بازگشتی  دامنه یک تابع  برد  نگشات  تابع  عمل دوتایی  زوج مرتب 
نظریه مجموعه‌ها:  بنیان‌های ریاضیات  نظریه مجموعه‌های زرملو-فرانکل  اصل موضوع انتخاب  نظریه مجموعه‌های عمومی  نظریه مجموعه‌های کریپکی-پلاتک  نظریه مجموعه‌های فون نیومان-برنایز-گودل  نظریه مجموعه‌های مورس-کلی  نظریه مجموعه‌های تارسکی-گروتندیک 
نظریه مدل:  ساختار  تعبیر  مدل های نااستاندار  نظریه مدل متناهی  ارزش صدق  اعتبار (منطق) 
نظریه برهان:  اثبات صوری  سیستم صوری  سیستم صوری  قضیه  استلزام  قواعد استنتاج  نحو 
نظریه رایانش‌پذیری:  بازگشت  مجموعه بازگشتی  مجموعه به طور بازگشتی شمارش پذیر  مسئله تصمیم  تز چرچ-تورینگ  تابع محاسبه پذیر  تابع بازگشتی بدوی 
| ن ب وریاضیات (شاخه‌های ریاضیات) | ن ب وریاضیات (شاخه‌های ریاضیات) |
| --- | --- |
بنیان‌ها:  نظریه دسته‌ها  نظریه اطلاعات  منطق ریاضی  فلسفه ریاضیات  نظریه مجموعه‌ها  نظریه نوع‌ها 
جبر:  مجرد  جبر جابجایی  مقدماتی  نظریه گروه‌ها  خطی  چندخطی  جبر جهانی  جبر همولوژی 
آنالیز:  حسابان  آنالیز حقیقی  آنالیز مختلط  معادله دیفرانسیل  آنالیز تابعی  آنالیز هارمونیک  اندازه (ریاضیات) 
گسسته:  ترکیبیات  نظریه گراف  نظریه ترتیب  نظریه بازی‌ها 
هندسه:  جبری  تحلیلی  دیفرانسیل  گسسته  اقلیدسی  متناهی 
نظریه اعداد:  حساب  نظریه جبری اعداد  نظریه تحلیلی اعداد  هندسه دیوفانتینی 
توپولوژی:  توپولوژی عمومی  جبری  دیفرانسیل  هندسی  نظریه هموتوپی 
کاربردی:  نظریه کنترل  ریاضیات مهندسی  زیست‌شناسی ریاضی و نظری  شیمی ریاضی  اقتصاد ریاضی  ریاضیات مالی  ریاضی فیزیک  روانشناسی ریاضی  جامعه‌شناسی ریاضی  آمار ریاضی  تحقیق در عملیات  احتمالات  آمار 
محاسباتی:  علوم رایانه  نظریه محاسبات  نظریه پیچیدگی محاسباتی  آنالیز عددی  بهینه‌سازی  جبر رایانه‌ای 
سایر:  تاریخ ریاضیات  سرگرمی‌های ریاضی  ریاضیات و هنر  آموزش ریاضی 
  رده   درگاه  انبار  ویکی‌پروژه :   رده   درگاه  انبار  ویکی‌پروژه 
| ن ب وموضوعات اصلی در بنیان‌های ریاضیات | ن ب وموضوعات اصلی در بنیان‌های ریاضیات |
| --- | --- |
منطق ریاضی:  اصول موضوعه پئانو  استقرای ریاضی  دستگاه اصول‌موضوعه‌ای  اثبات ریاضیات  نظریه مدل  برساخت‌گرایی (ریاضیات)  منطق موجهات  لیست موضوعات منطق ریاضی 
نظریه مجموعه‌ها:  مجموعه (ریاضیات)  نظریه طبیعی مجموعه‌ها  نظریه مجموعه‌ها  نظریه مجموعه‌های زرملو  نظریه مجموعه‌های زرملو-فرانکل  نظریه توصیفی مجموعه‌ها  قطعیت  پارادوکس راسل  لیست موضوعات نظریه مجموعه‌ها 
نظریه رسته‌ها:  رسته (ریاضیات)  نظریه نوع‌ها  نظریه توپوز  واژه نامه نظریه رسته‌ها  لیست موضوعات نظریه رسته‌ها