"Sentences Undecidable in Formalized Arithmetic" - читать интересную книгу автора (Andrzej Mostowski)