Αξίωμα: Διαφορά μεταξύ των αναθεωρήσεων

 

Στα [[μαθηματικά]], ο όρος ''αξίωμα'' χρησιμοποιείται με δυο σχετικές αλλά διαφορετικές έννοιες: τα «λογικά» και «μη λογικά» αξιώματα. Και στις δύο περιπτώσεις, αξίωμα είναι μια μαθηματική πρόταση που χρησιμεύει ως αρχή για το συμπέρασμα άλλων προτάσεων με λογικό τρόπο. Αντίθετα με τα [[θεώρημα|θεωρήματα]], τα αξιώματα δεν μπορούν γενικά να παραχθούν με αρχές επαγωγής (εκτός αν πλεονάζουν), ούτε γίνεται να [[μαθηματική απόδειξη|αποδειχθούν]], αφού αποτελούν αρχικά σημεία: δεν υπάρχει κάτι από το οποίο να απορρέουν (τότε θα ήταν θεωρήματα).