Title: Axioms, Definitions, and Proofs