Αξίωμα: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μΧωρίς σύνοψη επεξεργασίας |
Χωρίς σύνοψη επεξεργασίας |
||
Γραμμή 5:
Τα λογικά αξιώματα είναι συνήθως προτάσεις που γίνονται αποδεκτές ως καθολικά αληθείς (π.χ. το ''Α'' και ''Β'' συνεπάγεται το ''Α''). Τα μη-λογικά αξιώματα (π.χ. {{nowrap|1= ''a'' + ''b'' = ''b'' + ''a''}}) ορίζουν ιδιότητες για την περιοχή κάποιας συγκεκριμένης μαθηματικής θεωρίας (όπως η [[Αριθμητική]]). Όταν χρησιμοποιείται με αυτή την έννοια, η λέξεις «αξίωμα», «αρχή» και «υπόθεση» σημαίνουν το ίδιο. Γενικά, ένα μη-λογικό αξίωμα δεν είναι μια προφανής αλήθεια, αλλά μάλλον μια τυπική λογική έκφραση που χρησιμοποιείται σε επαγωγικούς συλλογισμούς για την ανάπτυξη μιας μαθηματικής θεωρίας. Η διαδικασία του να δειχθεί ότι όλες οι προτάσεις μιας θεωρίας ή ενός συστήματος μπορούν να παραχθούν από ένα μικρό αριθμό από προτάσεις (τα αξιώματα) λέγεται '''αξιωματικοποίηση''' της θεωρίας. Συνήθως υπάρχουν πολλοί τρόποι να αξιωματικοποιηθεί μια μαθηματική περιοχή.
Το σύνολο αυτό υπόκειται σε δύο περιορισμούς: α) τα '''αξιώματα''' να είναι συμβιβαστά, και β) ανεξάρτητα το ένα από το άλλο. Ακόμη θα πρέπει το πλήθος των αξιωμάτων να είναι όσο το δυνατό λιγότερο.
Εκτός της λογικής και των μαθηματικών, ο όρος «αξίωμα» μπορεί να αναφέρεται αόριστα σε οποιαδήποτε τεκμηριωμένη αρχή.
| |||