Assertion: hypothesis | /r/HasProperty | zf
Facets:
Source sentences:
text: Fraenkel set theory (ZF) follows from combined work of Kurt Gödel and Paul Cohen.