"Математика метаматематики" - читать интересную книгу автора (Расева Е., Сикорский Р. (Rasiowa,Sikorski))