sözeden kanıtsav
sözeden kanıtsav İng. metatheorem
Bir biçimsel dili konu edinen dizimbilim, yorumbilim ya da kullanımbilim kanıtsavı. || Örn. tümdengelim kanıtsavı,
sözeden kanıtsav için benzer kelimeler
sözeden kanıtsav, 16 karakter ile yazılır. Ayrıca,
s harfi ile başlar, v harfi ile biter. Tüm karakter dağılımı ise,
's', 'ö', 'z', 'e', 'd', 'e', 'n', ' ', 'k', 'a', 'n', 'ı', 't', 's', 'a', 'v', şeklindedir.
sözeden kanıtsav kelimesinin tersten yazılışı vastınak nedezös diziliminde gösterilir.