"The Principles of Mathematical Logic" - читать интересную книгу автора (Hilbert David)