Assertion: independence's idea | /r/HasProperty | applied to axiomatic set theory
Facets:
Source sentences:
text: What happens when this idea is applied to axiomatic set theory, say Zermelo-Fraenkel set theory with the Axiom of Choice \((\mathbf{ZFC})\)?