+- MKLab (https://mklab.gr)
+-- Forum: [INDEX] (https://mklab.gr/forumdisplay.php?fid=1)
+--- Forum: MATHEMATICS (https://mklab.gr/forumdisplay.php?fid=3)
+---- Forum: ARTICLES (https://mklab.gr/forumdisplay.php?fid=13)
+----- Forum: CALCULUS AND ANALYSIS (https://mklab.gr/forumdisplay.php?fid=149)
+----- Thread: Internal set theory (/showthread.php?tid=1778)
Internal set theory - mklabgr - 09-01-2026
Internal Set Theory (IST) — Summary
Internal Set Theory (IST) is a version of set theory introduced by Edward Nelson in 1977 to give an axiomatic foundation for nonstandard analysis, especially the rigorous use of infinitesimal and infinitely large quantities. Rather than constructing an enlarged number system, as in Abraham Robinson’s nonstandard analysis, IST keeps the ordinary universe of sets and extends ZFC set theory by adding a new unary predicate $\operatorname{st}(x)$, meaning “$x$ is standard.” Formulas that do not use this predicate are called internal, while those involving it are external. This distinction allows ordinary real and natural numbers to include elements that behave like infinitely large numbers and infinitesimals without introducing a separate set of hyperreal numbers.
IST adds three axiom schemes to ZFC: Idealisation, Standardisation, and Transfer—hence the initials I–S–T. Idealisation guarantees the existence of nonstandard elements; for example, it implies that there exists a natural number $N$ satisfying $N>n$ for every standard natural number $n$. Consequently, $1/N$ behaves as a positive infinitesimal. Standardisation allows one to associate suitable standard sets with properties that may involve the standard/nonstandard distinction. Transfer states, roughly, that an internal mathematical statement that holds for every standard object also holds for every object, provided its parameters are standard. This ensures that ordinary algebraic and analytic laws continue to apply to nonstandard numbers.
A particularly important feature is that IST is a conservative extension of ZFC: if an ordinary statement of classical set theory—that is, an internal formula—can be proved using IST, then it can already be proved in ZFC. Thus IST does not produce new classical theorems unavailable to ordinary set theory; instead, it supplies a different and often more intuitive language for reasoning about infinitesimals and infinite quantities. If ZFC is consistent, IST is also consistent.
Key takeaways
- IST = ZFC + the predicate $\operatorname{st}(x)$ + three axiom schemes: Idealisation, Standardisation and Transfer.
- It makes rigorous statements involving infinitesimals and infinitely large natural numbers possible without explicitly constructing the hyperreal numbers.
- A nonstandard natural number $N$ may satisfy $N>n$ for every standard $n\in\mathbb N$, making $1/N$ infinitesimal.
- IST belongs mainly to mathematical logic, set theory, and nonstandard analysis, and is a conservative extension of ordinary ZFC.
ARTICLE