In the beginning there was Euclidean geometry, a compendium of truths about form and void; and its truths were not based on convention except as a conventionalist might, begging the present question, apply this tag to everything mathematica.