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

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


تاربرگ‌های پیموده‌شده در این نشست: گویایی‌گروی رونالد ریوست نمودارها جابجایی همجوهش یاوه پادهمامون