Nonstandard analysis (Robinson)

Layer 0 — Mathematicsin the model-theory subtree

Robinson 1966: hyperreals *ℝ ⊃ ℝ contain infinitesimals + infinities. Rigorous foundation for Leibniz-style infinitesimal-calculus. Transfer principle: every first-order ℝ-truth holds in *ℝ.