"Mathematics of Metamathematics" - читать интересную книгу автора (Helena Rasiowa, Roman Sikorski)