Check the UP Board Class ... and Euclid's geometry. Euclid's method of formalizing observed phenomenon into rigorous mathematics with definitions, common/obvious notions, axioms/postulates and ...