Euclid gives us ten axioms—five essentially algebraic “common notions” and five essentially geometric “postulates”—and proceeds to build a monumental edifice, proving one statement and then another and another, each subsequently available for use in further proofs.
