"On Formally Undecidable Propositions of Principia Mathematica and Related Systems" - читать интересную книгу автора (Kurt Gödel)