First set of axioms and a theorem proof example.