A theorem in set theory stating that, for all sets and , the following equivalences hold,
Consistency Theorem
This entry contributed by Margherita Barile
Explore with Wolfram|Alpha
References
Hall, F. M. An Introduction to Abstract Algebra, Vol. 1, 2nd ed. Cambridge, England: Cambridge University Press, p. 40, 1972.Referenced on Wolfram|Alpha
Consistency TheoremCite this as:
Barile, Margherita. "Consistency Theorem." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/ConsistencyTheorem.html