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