"Axioms are the expression of our strongest and most basic intuitions (sometimes derived from experience), we ask of them to be the only and supreme judge of all of our less strong, more complex intuitions, during a process called deduction (judged by some other axioms), with the goal of doing something useful, or just for fun."