Axiom, mantık, genel kabul bulmuş veya ister içsel liyakat veya kendinden kanıtlara itiraz temelinde bir iddia sayesinde ortak kabul layık düşünülen bir indemonstrable birinci prensibi kural veya atasözü. Bir örnek şöyle olabilir: “Hiçbir şey aynı anda ve aynı açıdan olamaz ve olamaz.”
bilim felsefesi: Aksiyomatik kavrama
Benzer şekilde, çağdaş bilim felsefesi, bilimsel teorilerin yapısı sorununun ötesine geçmektedir. Çeşitlilik için
Öklid Elemanlarında ilk ilkeler postülalar ve ortak kavramlar olarak iki kategoride listelenmiştir. Birincisi geometri ilkeleridir ve gerekli varsayımlar olarak düşünülmüş gibi görünmektedir çünkü ifadeleri “talep edilsin” (ētesthō) ile açılmıştır. Ortak kavramlar, tüm gösterici bilimlerin başlaması gereken ilk ilkeleri aksiyom olarak gören Aristoteles tarafından “aksiyomlar” olarak adlandırılanlarla açıkça aynıdır; gerçekten de son önemli Yunan filozofu (“İlk Öklid Kitabı Üzerine”) Proclus, kavram ve aksiyomun eş anlamlı olduğunu açıkça belirtti. Bununla birlikte, postülaları aksiyomlardan ayıran ilke kesin görünmemektedir. Proclus, postülatların geometriye özgü olduğunu çeşitli aralarında tartışırken, aksiyomlar ya miktarla ilgili tüm bilimlerde ya da tüm bilimlerde ortaktır.
Modern zamanlarda, matematikçiler genellikle postüla ve aksiyom kelimelerini eş anlamlı olarak kullandılar. Bazıları aksiyom teriminin mantık aksiyomlarına ayrılmasını ve belirli bir matematiksel disiplinin tanımlandığı mantık ilkelerinin ötesinde bu varsayımlar veya ilk prensipler için önermesini önermektedir. Teoremi karşılaştırın.
