Код ББК 87.456
87.456
Метатеоретические проблемы
Метаматематика см. 22.122
Уточняющие коды
Запись в классификаторе ББК средние таблицы с кодом 87.456 содержит 2 уточняющих (дочерних) элемента
Теория формализованных дедуктивных систем
Аксиоматическая теория
Аксиоматизация множества формул, непротиворечивость системы аксиом, проблема разрешимости, полнота системы аксиом, независимость аксиом, устранение сечения.
Вышестоящие объекты
Схема иерархии в классификаторе ББК средние таблицы для кода 87.456
Средние таблицы
СОЦИАЛЬНЫЕ (ОБЩЕСТВЕННЫЕ) И ГУМАНИТАРНЫЕ НАУКИ
Философия
Логика
Основания математической логики
Полная расшифровка кода: Код ББК 87.456. Онлайн-классификатор ББК, Средние таблицы, СОЦИАЛЬНЫЕ (ОБЩЕСТВЕННЫЕ) И ГУМАНИТАРНЫЕ НАУКИ, Философия, Логика, Основания математической логики, Метатеоретические проблемы.