sözeden kanıtsav ne demek?

1. Bir biçimsel dili konu edinen dizimbilim, yorumbilim ya da kullanımbilim kanıtsavı. || Örn. tümdengelim kanıtsavı,
2. Metatheorem.
3. Métathéoréme

sözeden değişken

1. Dizimsel değişken.
2. Metavariable.
3. Métavariable

sözeden dil

1. Başka bir dilin deyimlerinden sözetmek için kullanılan dil; olağan yorumdaki evreni, başka bir dilin deyimlerini kapsayan bir dil. Krş.. dizimselsözeden dil, yorumsalsözeden dil, kullanımsalsözeden dil.
2. Metalanguage.
3. Métalangue

kanıtsav

1. İlksavlı bir biçimsel dizgede kanıtlanabilen, başka bir deyişle ilksavlardan çıkarım kuralları yardımıyla türetilebilen tamdeyim. || Temel mantıklı bir biçimsel dizgeninkanıtsavları yinelgen sayılabilir olan bir küme oluşturur.
2. Theorem, formal theorem, thesis.
3. Théorème, thèse

Türetilmiş Kelimeler (bis)