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