Twierdzenie Gödla ma również tę konsekwencję, iż nie wszystko co prawdziwe to dowodliwe|PC=czytelnia