Radically Elementary Probability Theory

The expressive power of minIST comes from the fact that it allows for the notions of finite sets with unlimited cardinality, and finite subsets of the reals whose distance is at most an infinitesimal from every point in some non-empty open interval.