reverse mathematics
A program in mathematical logic that seeks to determine which axioms are required to…A program in mathematical logic that seeks to determine which axioms are required to prove theorems.
Значение
значений: 1(неисчисляемое)A program in mathematical logic that seeks to determine which axioms are required to prove theorems.
Уроки к слову
уроков: 1- A1Исчисляемые и неисчисляемые существительные — Потому что оно может быть неисчисляемым