canBeNegatedAsAxiom

P73748
predicate

Indicates that a given statement or formula can be treated as an axiom in its negated form within a logical system.

Try in SPARQL

All labels observed (1)

Label Occurrences
canBeNegatedAsAxiom canonical 1

Sample triples (1)

Subject Object
continuum hypothesis yes ⓘ