Assertion: hypothesis's form | /r/HasProperty | v = lφ
Facets:
Source sentences:
text: For each large cardinal axiom Φ that has been reached by inner model theory, one has an axiom of the form V = LΦ.