Assertion: fact | /r/Synonym | theorem
Facets:
Source sentences:
text: In mathematics, a fact is a statement (called a theorem) that can be proven by logical argument from certain axioms and definitions.