axiomatic keep mathematicians from self-delusions on the mind n o n e t h e l e s s understanding mathematics means ken forget rigor proof being able enjoy calculations -Indiscrete Thoughts