Aksiyom, bir bilim veya mantık sisteminde, doğruluğu ispatlanmadan kabul edilen temel önermelerdir. Başka bir deyişle, bir teorinin veya sistemin üzerine inşa edildiği, kanıtsız olarak doğru kabul edilen başlangıç noktasıdır. Aksiyomlar, bir sistemi tutarlı ve sağlam bir şekilde inşa etmek için gereklidir.
Aksiyomlar, genellikle sezgisel olarak açık veya deneyimle doğrulanmış gibi görünen ifadelerdir, ancak matematiksel veya mantıksal olarak kanıtlanamazlar. Aksiyomlar, kendi içlerinde "doğru" veya "yanlış" olarak nitelendirilmezler, daha ziyade, bir sistemin varsayımları olarak kabul edilirler.
Örneğin, Öklid geometrisinde, "İki noktadan yalnızca bir doğru geçer" önermesi bir aksiyomdur. Bu önerme, Öklid geometrisinin temelini oluşturur ve diğer tüm teoremler bu aksiyomdan türetilir.
Aksiyomlar ve onların kullanımı hakkında daha fazla bilgi için:
Ne Demek sitesindeki bilgiler kullanıcılar vasıtasıyla veya otomatik oluşturulmuştur. Buradaki bilgilerin doğru olduğu garanti edilmez. Düzeltilmesi gereken bilgi olduğunu düşünüyorsanız bizimle iletişime geçiniz. Her türlü görüş, destek ve önerileriniz için iletisim@nedemek.page