BSTS / Mantık Terimleri Sözlüğü
temel mantıklı sayı kuramı anlamı İng. elementary number theory Alm. elementare Zahlentheorie Fr. théorie élémentaire des nombres
Doğal saysların toplamı ile çarpımına ilişkin kanıtsavları türetmeğe yarayan temel mantıklı kuram. || Örn. Özel değişmezleri bir ad değişmezi (0), bir birli işlev ('), iki ikili işlev (+,.) özel ilksav kalıpları da (…) . Krş.. kümesel sayı kuramı.