Aksiyom Nedir

1-)Alm. Axiom (n), Fr. Axiome (m.), İng. Axiom. Doğru olduğu herkes tarafından kabul edilen önerme. Postulat, doğruluğu mantıki olarak kabul edildiği halde, doğruluğu da yanlışlığı da ispatlanamayan önermedir. Aksiyomlar, mantıki işlemler için yeni teorem ve ispatların elde edilmesinde kullanılırlar. Ancak postulatların aksiyomlardan ayrılması kesin değildir. Aksiyom, matematiğin ve diğer ilimlerin bütün dallarında mevcuttur. Mesela cebirde çok bilinen bir aksiyom: “Bir eşitliğe eşit şeyler eklenince veya çıkarılınca eşitlik bozulmaz.” ifadesidir. Her ilimde kullanılan “Bir bütün, parçalarından büyüktür.” ifadesi de bir aksiyomdur.

Matematik aksiyomların temeli, bilginin ana ilkesi olan özdeşlik ve çelişmezlik prensipleridir. Aksiyomlar, matematik yapının temel taşları sayılırlar. Ancak, aksiyom olarak alınan bir önermenin doğruluğunu göstermek çok kolay veya güç olduğu için onun aksiyom olarak alındığı zannedilmemelidir. Bir matematiksel yapıyı kurarken seçilen aksiyomlar bir sistemi meydana getirirler.

“İki şey ayrı ayrı bir şeye eşitse, o iki şey de kendi aralarında eşittir.” ifadesi de bir aksiyomdur. Yani, x=a ve y=a ise x=y olacağı açıktır. M=50 ve N=50 ise M=N yazılacağı anlaşılır.

2-)(Axıom) 1. Belit. Önkanıt Bilgi üretim
sürecinde doğruluğu ispat gerektirmeyecek kadar açık ve sorgulanamaz varsayılan
ifade.

2. Bir
mantıksal sistemde, başka önermelerin üretilmesi için gerekli olan, yeni
önermelerin üretilebilmesin­de başlangıç noktası olarak alman ve tanımı gereği
doğru ka­bul edilen önerme. Bkz. hipotez, varsayım, teorem.

3-)Belit
Örnek:Matematik aksiyomları andıran deminki kesin sözlerinde, şimdi birer spekülasyon esnekliği hissolunuyordu. Y. K. Karaosmanoğlu

4-)Doğruluğu ispatsız olarak kabul edilen önerme, belit.

5-)Bk. önkanıt

6-)Bk. ilksav

Bu bilgi faydalı oldu mu ?