Axiom

theory postulate demonstration moral system prove cryptomorphic formal system theorem established axiomatics axiomlike s finitary semifield undecidable axioms first principles self evident seemingly proof parallel postulate law quasivariety premise legalism axiom system assumption science non euclidean geometry receive axiom of extensionality truth constatation frame problem corollary philosopheme disprove axiomatic lemma proposition jordan algebra fundamental homaloidal peano arithmetic consistency completeness axiom hypothesis principle axiomatize axiomatic system forcing postulational first truth first principle universally field axiom axiomatical algebraic structure gyrovector formal ontology proof system axiomatization practice porism gyrogroup deduction truism artistic axiom of power set axiomless necessary conjecture presburger arithmetic rule