Οι νόμοι της αλήθειας και της μισής αλήθειας

Στην ιστορία των μαθηματικών οι αρχαίοι Έλληνες κατέχουν ξεχωριστή θέση επειδή επινόησαν τον τρόπο με τον οποίο εφαρμόζονται τα σύγχρονα μαθηματικά: μέσω αξιωμάτων, αποδείξεων, θεωρημάτων, περισσότερων αποδείξεων, περισσότερων θεωρημάτων κ.ο.κ. Κατά τη δεκαετία του 1930, ωστόσο, ο Αυστροαμερικανός μαθηματικός Κουρτ Γκέντελ -φίλος του Αϊνστάιν απέδειξε ότι αυτή η προσέγγιση είναι κάπως ανεπαρκής: οι περισσότερες μαθηματικές θεωρίες, όπως κατέδειξε, πρέπει είτε να είναι ασυνεπείς είτε να εμπεριέχουν αλήθειες που δεν μπορούν να αποδειχθούν. Παρόλα αυτά, η πορεία των μαθηματικών συνεχίστηκε με αμείωτο ρυθμό σύμφωνα με το ελληνικό πρότυπο, το πρότυπο του Ευκλείδη.