statusInZFC
P52531
predicate
Indicates the logical or set-theoretic status (such as provability, refutability, or independence) of a statement when considered within the axiomatic system of Zermelo–Fraenkel set theory with the Axiom of Choice (ZFC).
Sample triples (1)
| Subject | Object |
|---|---|
| axiom of choice | axiom of Zermelo–Fraenkel set theory with choice → |