Epsilon number (source code)

= Epsilon number
{wiki=Epsilon_number}

An Epsilon number is a type of large ordinal number in set theory that is defined as a limit ordinal that is equal to its own limit ordinal function. Specifically, an ordinal \\(\\epsilon\\) is called an Epsilon number if it satisfies the equation: \\\[ \\epsilon = \\omega^\{\\epsilon\} \\\] where \\(\\omega\\) is the first infinite ordinal, corresponding to the set of all natural numbers.