biçimsel sayı kuramı anlamı İng. formal number theory, formal arithmetic Alm. formale Zahlentheorie Fr. théorie formelle des nombres
Doğal sayıların toplamı ile çarpımına ilişkin kanıtsavları türetmeğe yarayan biçimsel kuram. || Krş. temel mantıklı sayı kuramı, kümesel sayı kuramı