"Are There Absolutely Unsolvable Problems - Godel's Dichotomy" - читать интересную книгу автора (Feferman Solomon)