In everything we can start by assuming a set of intuitive axioms, and deduct the propositions as theorems.