"On Formally Undecidable Propositions Of Principia Mathematica" - читать интересную книгу автора (Godel Kurt)