Kanıt

Vikipedi, özgür ansiklopedi

Bir teoremin, aksiyom olarak geçerlilik kazanması için, her değişken ve her sayı için teoremi gerçelleyen çözüm biçimi. İstanbul Teknik Üniversitesi'nde bazı Öğretim Üyeleri/Görevlileri tarafından "Kanıt" yerine "Tanıt" terimi kullanılmaktadır.