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