"Is Arithmetic Consistent" - читать интересную книгу автора (Priest Graham)