 Finally, it has been shown that a natural notion of infinitesimal can be developed within intuitionistic mathematics (Vesley 1981), the idea being that an infinitesimal should be a “very small” real number in the sense of not being known to be distinguishable—that is, strictly greater than or less than—zero.