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