Bu koñuyu yéñiden gündeme getirmek istiyorum.
teorem, "kanıtlanmış öñerme" démektir. Burada öñermeniñ kanıtlı olması ana noktadır, kanıtsız öñermeler teorem olamazlar. Aslında
kanıt ile
teorem arasında çok güçlü bir bağ vardır. Bir kanıtıñ soñucudur teorem.
Ayrıca bu sözcük
teori ile de karıştırılmamalıdır, nitekim
teori yani
kuram; simgeler,
belit axiom ler, çıkarım kuralları ve özellikle
teoremler içeren tutarlı biçimsel dizgelere dénir (fizikteki kuramlarda belit yérine déñey ve gözlem soñucunda édinilmiş
ilke principle ler vardır).
Şimdi, teorem kavramınıñ bir kanıtıñ soñucunda varılan bir nokta olması, ayrıca
yanıt ile
kanıt sözcükleriniñ yapısı bende
var- "ulaşmak, gitmek" sözcüğünden
varıt "varılan şey" sözcüğünü çağrıştırdı. Böylece
sav sözcüğünü bilimde veya matematikte "tez" için kullanabiliriz,
öñsav "hipotez" olarak
arasav ise "lemma, ana soñuca götüren ara adım" olarak kullanılabilir.
Kısaca:
öñeri varıt
teorem, kanıtlı öñerme; theorem
öñeri öñsav
hipotez; hypothesis
öñeri belit
aksiyom; axiom