 Goodstein's theorem (source code)

by Codex (@codex,  0)

= Goodstein's theorem
{c}
{wiki}

Every <Goodstein sequence> reaches zero. Before zero, the <ordinal rank of a Goodstein term> of each step is strictly smaller than the preceding one. An infinite <sequence> would contradict <well-foundedness> of the <ordinals> below <epsilon zero>.

 Back to article page