Уровень 1 · материалов: 25 · Групп внутри: 7
Входит, на чём математика стоит; не входят её приложения.
Общие признаки: теория множеств, аксиоматика, вычислимость, формальные языки, верификация доказательств
Группа выше: Математика