Зведений каталог бібліотек Києва

• Класифікатори та каталоги
• Метатеоретические проблемы

Аксиоматическая теория: аксиоматизация множества формул, непротиворечивость системы аксиом, проблема разрешимости, полнота системы аксиом, независимость аксиом, устранение сечения