\}$は全単射である。含まない全自然数の集合に等しい。含まない全自然数は2で割り切れる限り2で割り続ければ必ず割り切れなくなって奇数となるから。してそれぞれ再定義する。順序対として完成させつつ集めながら数え上げる。中でループを起こすことはあり得ないという論理です。コラッツ予想の題意の成否を検証しようと試みるものです。(全ての0を含む自然数全体の集合)に含まれて唯一存在する任意定数を表す。任意定数として集合の中で固定値を採るものとして扱われるため集合表記の中の変域指定は別途指定がなければこれを省略する場合がある。わたる値をとりうる普通の変数を表す。\mathbb{N}^0$は省略されることがある。してそれぞれ定義する。してそれぞれ再定義する。)としてそれぞれ再定義する。(2a_{x+1}+1,2a_x+1)$と呼ぶこととする。\mathbb{N}^{0}\right\}$は全単射である。\mathbb{N}^{0}\right\}$は全単射である。\prime}=2$である。2^{h_1}=2a_1+1,$となるとき$2a_{-1}+1が1でなければ2a_{-1}+1$と$2a_1+1$は等しくない。$2a_{-1}+1$と$2a_1+1$は等しくない。3+1$を相互に持ち合うような相異なる正奇数を初項とする公比2の等比数列の集合の対は存在しない。互いに素で両者は共有項を持たない。等比数列すべての集合はその中のどの二つの集合をとっても互いに素で両者は共通項をもたない。とも互いに素で両者は共有項を持たない。等比数列すべての集合はその中のどの二つの集合をとっても互いに素で両者は共通項をもたない。$D(2a_{p+1}+1)$は共にその中に重複項を持たない。\}$は全単射である。\}$に含まれて唯一存在する。$はその中に重複項を持たない。含まれて唯一存在する。互いに素で両者は共通項をもたない。その中に共通項を持たない。