How do we choose the axioms underlying mathematics? Is this an act of faith? “Mathematics is the language with which God wrote the Universe” – Galileo TOK concepts: perspectives and evidence.