Assertion: infinitesimal | /r/HasProperty | equal
Facets:
value: to zero
type: OTHER
Source sentences:
text: In particular, in a theory of smooth infinitesimal analysis one can prove for all infinitesimals ε, NOT (ε ≠ 0); yet it is provably false that all infinitesimals are equal to zero.