"Principles of mathematical logic" - читать интересную книгу автора (Hilbert D., Ackermann W.)