tego systemu nie można ani dowieść, ani obalić (zdania takie nazywamy nierozstrzygalnymi). Gödel podał konkretny przykład takiego zdania. Wynik Gödla, zwany dziś I twierdzeniem Gödla o niezupełności, został opublikowany w pracy <gap>. I. Na końcu tej pracy Gödel zaanonsował też inne twierdzenie, zwane dziś II twierdzeniem Gödla, a głoszące, że dowód niesprzeczności teorii sformalizowanej zawierającej arytmetykę liczb naturalnych nie może być przeprowadzony w metamatematyce nie operującej środkami wykraczającymi poza te, które mieszczą się w samej rozważanej teorii, czyli, mówiąc może trochę nieprecyzyjnie: za pomocą tego, co skończone, nie można usprawiedliwić tego, co nieskończone