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Злічувані та незлічувані іменники — Бо воно може бути незлічуваним