independenceProvedBy
P52532
predicate
Indicates that the independence of something (such as a statement, axiom, or system) is established or demonstrated by a particular proof, method, or agent.
Sample triples (2)
| Subject | Object |
|---|---|
| axiom of choice | Kurt Gödel → |
| axiom of choice | Paul Cohen → |