kanıtlama kuramı
kanıtlama kuramı İng. proof theory, metamathematics
Biçimsel dizgelerde kanıtlamayı konu edinen dizimbilim dalı.
kanıtlama kuramı için benzer kelimeler
kanıtlama kuramı, 16 karakter ile yazılır. Ayrıca,
k harfi ile başlar, ı harfi ile biter. Tüm karakter dağılımı ise,
'k', 'a', 'n', 'ı', 't', 'l', 'a', 'm', 'a', ' ', 'k', 'u', 'r', 'a', 'm', 'ı', şeklindedir.
kanıtlama kuramı kelimesinin tersten yazılışı ımaruk amaltınak diziliminde gösterilir.