Bir biçimsel dili konu edinen dizimbilim, yorumbilim ya da kullanımbilim kanıtsavı. || Örn. tümdengelim kanıtsavı,