Αξίωμα είναι μια πρόταση η οποία δεν αποδεικνύεται, αλλά θεωρείται είτε προφανής, ή αποτέλεσμα κάποιας απόφασης. Υποτίθεται δηλαδή η αλήθεια του, ώστε να χρησιμοποιηθεί ως αρχικό σημείο για την αναγωγή και το συμπέρασμα άλλων αληθών προτάσεων, ανάλογα με τη θεωρία που εφαρμόζεται. Και έχω εδώ και πάρα πάρα πολύ καιρό την εξής απορία: Γιατί λέμε οτι τα μαθηματικά σχηματίζουν υποθέσεις και εξακριβώνουν την αλήθεια τους μέσω αυστηρών κανόνων συνεπαγωγής ενώ στηρίζονται σε αναπόδεικτες προτάσεις?