The Axiom of Completeness