"The classic example of an is that of plane geometry formulated by Euclid... It forms the model of all rigorous mathematical schemes. The axioms are the initial assumptions... From them, logical deductions can proceed under stipulated rules of reasoning... analogous to the scientists' laws of Nature, whilst the axioms play the role of s. We are not free to pick any axioms... They must be logically consistent... Euclid and most other pre-nineteenth-century mathematicians... were also strongly biased towards picking axioms which mirrored the way the world was observed to work... Later mathematicians did not feel so encumbered and have required only consistency from their lists of axioms."