超実数
超実数（ちょうじっすう、）または超準実数（ちょうじゅんじっすう、）と呼ばれる数の体系は無限大量や無限小量を扱う方法の一つである。超実数の全体 は実数体 の拡大体であり、
の形に書けるいかなる数よりも大きい元を含む。そのような数は無限大であり、その逆数は無限小である。 の語はが1948年に導入した。
超実数は（ライプニッツの経験則的なを厳密なものにした）を満たす。この移行原理は、 についての一階述語論理の真なる主張は においても真であることを主張する。例えば、加法の可換則 は、実数と全く同様に、超実数に対しても成り立つ。また、 は実閉体であるから、 も実閉体である。また、任意の整数 に対して が成立するから、任意の超準整数 に対しても が成立する。超冪に対する移行原理は1955年のウォシュの定理の帰結である。
無限小を含むような論法の健全性に関する歴史は、アルキメデスがそのような証明を取り尽くし法など他の手法によって置き換えた、古代ギリシャ時代の数学にまで遡る。1960年代にはロビンソンが、超実数体が論理的に無矛盾であることと実数体が論理的に無矛盾であることが同値であることを示した。これは、ロビンソンが描いた論理的な規則に従って操作されなければ、あらゆる無限小を含む証明が不健全になる恐れが残ることを示している。
超実数の応用、特に解析学における諸問題への移行原理の適用は超準解析と呼ばれる。例えば、微分や積分のような解析学の基礎概念を複数の量化子を用いる論理的複雑さを回避して直接的に定義することがある。つまり、 の導関数は、
になる。
ただし、 は無限小超実数で、 とは有限超実数から実数への関数で、「有限超実数にそれに無限に近いただ一つの実数への関数」というである。積分も同様に、適切な無限和の標準部によって定義される。