Assertion: new dominant logic | /r/ObjectUse | used by mathematician
Facets:
Source sentences:
text: These results helped establish first-order logic as the dominant logic used by mathematicians.