استواره دوم بَوَندَگی گودل

همچنین شناخته شده با: قضیه‌ دوم ناتمامیت گودل
برابر انگلیک (انگلیسی): Gödel's second incompleteness theorem


تاربرگ‌های پیموده‌شده در این نشست: استواره یکم نابَوَندَگی گودل شمارگان زاستاری زدایش ∨ نبیگ فشرده در افماریک جبر و تراز کردن