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