Category:Independent Axioms

This category contains results about Independent Axioms.
Definitions specific to this category can be found in Definitions/Independent Axioms.

Let $\FF$ be a formal (logical) system.

Let $\AA$ be an axiom of $\FF$.

Then $\AA$ is independent if and only if $\AA$ is not a formal consequence of any other axioms of $\FF$.