"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..."