Aksiyom tanımı
 

Aksiyom: Tartışmasız doğru olan. Kimsenin yanlış olduğunu iddia edemeyeceği şekilde doğru olan önermelere aksiyom deniyor.



Örneğin herkesin bir şekilde duyduğu bir aksiyomu örnek olarak yazarsak.



İki noktadan yalnız bir doğru geçer diye bir şey yazsam nedense kimse itiraz etmiyor güzel güzel aksiyom oluyor böylece.



Şimdi biri muhalefet olsun diye dese ki "iki noktadan 2 farklı doğru geçebilir" o zaman aksiyom olamayacak.



Bu durumda biz kimin dediğine göre tartışmasız doğrudur bu diyeceğiz.



Matematik camiasında kararları mantık bilimi veriyor. Bilim demeyelimde mantığın kendi karar veriyor.



İki noktadan yalnız bir doğru geçip geçmeyeceği kararını da mantık yoluyla anlıyoruz. Nitekim kuşlar, böcekler veya o seviyede olan bir insana iki noktadan bir doğru mu geçer iki doğru mu geçer desek aksiyom olduğunu hissedemeyeceğimiz tepkiler verecekler büyük.



Peki mantık bilmi nasıl karar veriyor iki noktadan yalnız bir doğru geçeceğine. Nitekim biliyoruz ki nokta ve doğru tanımsız terimlerdir. Yani ne olduğu belli olmayan, açıklanmayan terimlerdir. Ne olduğunu bilmediğimiz şeylerden ne olduğunu bilmediğimiz şeylerin geçip geçmediğini nasıl anlıyor mantığımız.



Daha fazla uzatmayayım da yazıyı okuyanlar kendi yorumlarını katsınlar. Kısa bir yanıt yazacağım ben belki ilgisini çeken arkadaşlar olursa derinleştiririz konuyu.



Mantık bilimi bir ifade söylendiğinde direk onu doğru olarak kabul eder. Onun davranışlarında bir sorun (çelişki) gördüğünde başa döner ve söylenen ifadenin yanlış olduğunu söyler. Yani ifade ilk söylendiğinde doğru veya yanlış olduğu belirsizdir ama onun üzerine yapılan yorumlar, işlemler, tanımlar onun doğru veya yanlış olduğunu gösterir. Böylece aksiyomlar oluşur.