以下で順序数の基本列が登場する場合基本的にワイナー階層として計算する。また、nを非負整数としてn番目の素数をp_nと表記する。ちなみにp_0=2です。
nを自然数として集合S_nをω↑↑n(便宜上このように表記します)未満の順序数全体の集合とします。この集合の要素たちにそれぞれ再帰的に自然数を対応させていきます。
まず、S_1は自然数全体の集合なので元Aに対してそれぞれA+1を対応させれば完了です。
S_2以降は一つ前の集合使って定義します。
S_(n+1)の任意の要素Aは以下のように表せる。
構文解析に失敗 (構文エラー): {\displaystyle $ A = \sum_{i=0}^∞ (a_i \times ω^{b_i}) $ }
待って数式が入力できない誰かLatex教えてください