Mathematics is about following the rules, you first define some formal rules, then you study the consequences of such definition. A well-known example: 5th Euc

Mathematics is about following the rules, you first define some formal rules, then you study the consequences of such definition. A well-known example: 5th Euclid axiom leads to Euclidean geometry, while a different axiom leads to non-euclidean geometries.