kanıtlanım anlamı İng. proof Osm. ispat Alm. Beweis Fr. démonstration
Bir biçimsel dizgede belli bir önermenin, ilksavlar kümesinden türetilebildiğini göstermeye yarayan türetim. || Anl. tanıt, tanıtlama.