Βικιπαίδεια:
Στην
λογική,
αξίωμα ή
αρχή είναι μια πρόταση η οποία δεν αποδεικνύεται, αλλά θεωρείται είτε προφανής, ή αποτέλεσμα κάποιας απόφασης. Υποτίθεται δηλαδή η αλήθεια του, ώστε να χρησιμοποιηθεί ως αρχικό σημείο για την αναγωγή και το συμπέρασμα άλλων αληθών προτάσεων, ανάλογα με τη θεωρία που εφαρμόζεται.
Στα
μαθηματικά, ο όρος
αξίωμα χρησιμοποιείται με δυο σχετικές αλλά διαφορετικές έννοιες: τα «λογικά» και «μη λογικά» αξιώματα. Και στις δύο περιπτώσεις, αξίωμα είναι μια μαθηματική πρόταση που χρησιμεύει ως αρχή για το συμπέρασμα άλλων προτάσεων με λογικό τρόπο. Αντίθετα με τα
θεωρήματα, τα αξιώματα δεν μπορούν γενικά να παραχθούν με αρχές επαγωγής (εκτός αν πλεονάζουν), ούτε γίνεται να
αποδειχθούν, αφού αποτελούν αρχικά σημεία: δεν υπάρχει κάτι από το οποίο να απορρέουν (τότε θα ήταν θεωρήματα).
Τα λογικά αξιώματα είναι συνήθως προτάσεις που γίνονται αποδεκτές ως καθολικά αληθείς (π.χ. το
Α και
Β συνεπάγεται το
Α). Τα μη-λογικά αξιώματα (π.χ.
a +
b =
b +
a) ορίζουν ιδιότητες για την περιοχή κάποιας συγκεκριμένης μαθηματικής θεωρίας (όπως η
Αριθμητική). Όταν χρησιμοποιείται με αυτή την έννοια, η λέξεις «αξίωμα», «αρχή» και «υπόθεση» σημαίνουν το ίδιο. Γενικά, ένα μη-λογικό αξίωμα δεν είναι μια προφανής αλήθεια, αλλά μάλλον μια τυπική λογική έκφραση που χρησιμοποιείται σε επαγωγικούς συλλογισμούς για την ανάπτυξη μιας μαθηματικής θεωρίας. Η διαδικασία του να δειχθεί ότι όλες οι προτάσεις μιας θεωρίας ή ενός συστήματος μπορούν να παραχθούν από ένα μικρό αριθμό από προτάσεις (τα αξιώματα) λέγεται
αξιωματικοποίηση της θεωρίας. Συνήθως υπάρχουν πολλοί τρόποι να αξιωματικοποιηθεί μια μαθηματική περιοχή.
Εκτός της λογικής και των μαθηματικών, ο όρος «αξίωμα» μπορεί να αναφέρεται αόριστα σε οποιαδήποτε τεκμηριωμένη αρχή.
Live-Pedia.gr:
Είναι θεμελιώδης ολαφάνερη
πρόταση στα μαθηματικά, που δεν είναι δυνατό ν' αποδειχθεί η
αλήθεια της. Τα αξιώματα δεν αποτελούν αβάσιμες υποθέσεις. Από αυτά παράγονται άλλες προτάσεις (αξιωματικές προτάσεις) και έννοιες (αξιωματικές έννοιες). Τα κύρια αξιώματα κατά βάση είναι μαθηματικά αξιώματα.
Μία ερώτηση όμως. Τη στιγμή που στα Μαθηματικά τίποτα δεν εννοείται, γιατί δημιουργήθηκαν τα αξιώματα;