Zeno's paradox represents a dyscovery of "reals," before any nomencature could be made, perhaps.

> No, Zeno's paradox cannot even be stated in NAFL because it requires > open/semi-open intervals of reals to state it. In ZFC the paradox is > "resolved" simply by fiat, i.e., we say infinitely many non-zero, > non-infinitesimal intervals of reals *can* sum to a finite interval and > that is the end of the matter. There are those who may find it > counter-intuitive and those who don't.