In the early 20th century, David Hilbert led a program to axiomatize all of mathematics with precise axioms and precise logical rules of deduction which could be performed by a machine.
Στις αρχές του 20ου αιώνα, ο David Hilbert έγραψε ένα πρόγραμμα, για να αξιωματοποιήσει όλα τα μαθηματικά με ακριβή αξιώματα και ακριβείς λογικούς κανόνες αφαίρεσης, που θα μπορούσαν να εκτελεστούν από μια μηχανή.