自然数に足し算, 掛け算, べき乗が定義できたように, 順序数にもそれらを定義することができます. ここで, 超眼再帰が大活躍します. 足し算 任意の順序数 について (i) . (ii) 任意の順序数 に対して . (iii) 任意の極限順序数 に対して . 足し算は二項演算…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。