"Metamathematics of First-Order Arithmetic " - читать интересную книгу автора (Petr Hajek, Pavel Pudlak)