قضایای ناتمامیت گودل: تفاوت میان نسخه‌ها
محتوای حذف‌شده محتوای افزوده‌شده
جز ربات:افزودن الگو ناوباکس {{منطق}}+نشانی+مرتب (۸.۸) |
|||
خط ۵۹:
[[رده:منطق ریاضی]]
[[رده:نظریه برهان]]
[[رده:نظریه مدل]]
| |||
جز ربات:افزودن الگو ناوباکس {{منطق}}+نشانی+مرتب (۸.۸) |
|||
خط ۵۹:
[[رده:منطق ریاضی]]
[[رده:نظریه برهان]]
[[رده:نظریه مدل]]
| |||