# УДК 510.2 ### Основания математики
код УДК | описание | примечания
510.21 | Общие философские проблемы. Критические аспекты логических антиномий |
510.22 | Теория множеств. Теоретико-множественный подход |
510.23 | Формализм (математические аспекты) |
510.24 | Интуиционизм (математические аспекты) |
510.25 | Конструктивный подход. Конструктивная математика |
510.26 | Логический позитивизм |
510.27 | Логическая семантика и семантические антиномии | см. 519.767 Семантика языка (математические вопросы)