Assertion: infinitesimal | /r/AtLocation | proof
Facets:
Source sentences:
text: The only way to produce an infinitesimal is to pick an arbitrary one: infinitesimals only occur in proofs, introduced by the sentence “take any “.