Assertion: assertion | /r/HasProperty | enunciation
Facets:
value: in mathematical logic
type: OTHER
Source sentences:
text: In mathematical logic, a judgment (or judgement) or assertion is a statement or enunciation in the metalanguage.