"Конечно аксиоматизируемые теории" - читать интересную книгу автора (Перетятькин М.Г.)