Aksiyom

Aksiyom, felsefi ve bilimsel sistemlerde kanıt gerektirmeyen temel önerme olarak tanımlanır. Mantık ve matematikte, diğer önermelerin temelini oluşturan apaçık ilkelerdir. Örneğin, "bir bütün, parçalarından büyüktür" veya "eşit niceliklere eşitler eklenirse toplamları da eşit olur" gibi ifadeler aksiyom niteliğindedir.

Felsefede Descartes ve Spinoza gibi düşünürler, sistemlerini aksiyomlara dayandırmıştır. Örneğin, Descartes'ın "düşünüyorum, öyleyse varım" ilkesi bir aksiyomdur. Aksiyomlar, tutarlı bir düşünce yapısının inşası için gereklidir ve sistemin bütünlüğünü sağlar.

Matematikte ise Öklid'in Elementler eseri, aksiyomatik yöntemin klasik örneğidir. Öklid, geometrinin temellerini bu yöntemle oluşturmuş ve diğer teoremleri bu ilkelerden türetmiştir. Aksiyomların doğruluğu, sistemin tutarlılığı ile ilişkilidir.