Category:Definitions/Independent Axioms
Jump to navigation
Jump to search
This category contains definitions related to Independent Axioms.
Related results can be found in Category: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$.
Pages in category "Definitions/Independent Axioms"
This category contains only the following page.