Internal set theory is Edward Nelson's mathematical framework that enriches ZFC axioms by introducing a "standard" predicate to formalize nonstandard analysis. The theory provides an accessible axiomatic basis for discussing infinitesimal and unlimited elements by distinguishing between the finite domain of mathematically specifiable objects and the unbounded infinity of actual numbers.