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