МЕТАМАТЕМАТИКА

Определение

раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов

Источник: наш словарь

💬 Комментарии и оценки

Категория: математика • ← Словарь