Sometimes, a type theory will add a few axioms. An axiom is a judgment that is accepted without a derivation using the rules of inference. They are often added to ensure properties that cannot be added cleanly through the rules.
Som.etimes, a type theory will add a few axioms An axiom is a judgment that is accepted without a derivation using the rules of inference. They are often added to ensure properti.es that cannot be added cleanly through the rules