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
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.