biçimsel sayı kuramı

biçimsel sayı kuramı İng. formal number theory, formal arithmetic

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ı

biçimsel sayı kuramı için benzer kelimeler

bölünmez sayı, asal sayı

sayı sayı

kümesel sayı kuramı

temel mantıklı sayı kuramı

biçimsel sayı kuramı, 20 karakter ile yazılır. Ayrıca, b harfi ile başlar, ı harfi ile biter. Tüm karakter dağılımı ise, 'b', 'i', 'ç', 'i', 'm', 's', 'e', 'l', ' ', 's', 'a', 'y', 'ı', ' ', 'k', 'u', 'r', 'a', 'm', 'ı', şeklindedir.
biçimsel sayı kuramı kelimesinin tersten yazılışı ımaruk ıyas lesmiçib diziliminde gösterilir.