Quick Reference

In logic the question of whether an axiom is independent of others is frequently of great importance. It may be investigated in model theory by finding a model for the set consisting of the other axioms and the negation of the one in question. Important independence results include the independence of the axiom of choice from the rest of classical set theory, and that of the continuum hypothesis from the rest of set theory plus the axiom of choice.

Subjects: Philosophy.

Reference entries