Ordinální aritmetika: Porovnání verzí

Pro vyjádření čísla <math>\,\alpha</math> v Cantorově normálním tvaru platí <math>\alpha\geq\beta_0</math>, přičemž rovnost nastává právě tehdy, když <math>\,\alpha=\omega^\alpha</math>. Takových <math>\,\alpha</math> existuje dokonce [[vlastní třída]], nejmenší z nich se nazývá <math>\varepsilon_0</math>. Pro <math>\,\alpha<\varepsilon_0</math> tedy je <math>\,\alpha>\beta_0</math>, což umožňuje často používanou metodu dokazování - takzvanou [[indukce do epsilon nula|indukci do epsilon nula]].

 

{{Portál matematika}}

* [[Ordinální číslo]]