Aksiyom
Tanım
Aksiyom, bir sistem içinde doğruluğu kabul edilen ve kanıt gerektirmeyen temel önermedir.
Cümle
“Aksiyomlar kanıtlanmaz, kabul edilir.”
Eş / Yakın Anlam
-Zıt Anlam
-Bağlam
- Biçimsel sistemlerin başlangıç noktasıdır.
- Mantıksal tutarlılığı sağlamak için kullanılır.
Kapsam ve Sınırlar
- Aksiyomlar sistemden sisteme değişebilir.
Kullanım Örnekleri
- Öklid aksiyomları
Yanlış Kullanımlar
- Doğal gerçeklik sanmak
Anlam Dönüşümü
- Sezgisel doğrulardan biçimsel kabullere dönüşmüştür.
Kavram Kökeni
- Yunanca: axiōma
- Kabul edilen önerme
Disiplinlere Göre Kullanım
Aksiyomlar, matematiksel sistemlerin kurucu ve kanıtlanmayan başlangıç noktalarıdır.
Aksiyomatik yapı, tutarlılık ve çıkarım ilişkilerinin temelini oluşturur.
Filozoflar Arası Kullanım Farkı
Modern aksiyomatik yöntemi geliştirerek matematiği biçimsel sistem olarak tanımlamıştır.
İlk ilkeler fikrini ortaya koyarak aksiyom düşüncesinin felsefi temelini atmıştır.