Assertion: truth | /r/HasProperty | beyond dispute
Facets:
value: under certain assumptions of axiomatic consistency
type: OTHER
Source sentences:
text: The field of mathematics is strongly based in logic; most, but not all, mathematical operations provide statements whose truth, falsehood, or unknowability is beyond dispute under certain assumptions of axiomatic consistency.