イプシロン数
{\displaystyle \varepsilon _{0}=\sup\{\omega ,\omega ^{\omega },\omega ^{\omega ^{\omega }},\omega ^{\omega ^{\omega ^{\omega }}},\dots \}=\omega ^{\omega ^{\omega ^{\cdot ^{\cdot ^{\cdot }}}}}.}
カントールの標準形で表すと次の通り。
ε 0 = ω ε 0 . {\displaystyle \varepsilon _{0}=\omega ^{\varepsilon _{0}}.}
ε0 はまだ可算である(前述の γ を非可算順序数とすると、非可算なエプシロン数が得られる)。この順序数は帰納法を用いた様々な証明で非常に重要な役割を果たす。何故なら多くの場合、超限帰納法は ε0まで実行すれば十分だからである(例としてペアノ算術の無矛盾性に関するゲンツェンの証明やグッドスタインの定理の証明などがある)。これがゲンツェンの証明において用いられたこととゲーデルの第二不完全性定理から、ペアノ算術ではこの順序の整礎性を証明できないことが判る(事実、ε0はこのような性質を持つ最小の順序数である。このことから、証明論におけるordinal analysisではペアノ算術の体系の強さを測る尺度として利用されている)。
エプシロン数は、ドイツの数学者カントールによって順序数の算術(英語版)(順序数#順序数の演算も参照)の文脈において導入された。