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

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