実数の集合の濃度は、連続体濃度と呼ばれcで表示されます。
一方、実数の集合とは全く異質な無限記号列集合の濃度もcになるので、連続体濃度は実数の集合とは独立な概念であることが分かります。
以下で、そのことを証明します。
以前のブログで対角線論法には多くの欠陥があることを指摘しましたが、以下では対角線論法が正しいという仮定のもとで議論します。
（定義）有限個の基本記号を無限個並べたものを無限記号列と名付けます。
一例として２つの基本記号 A および B を任意の配列で無限個並べた無限記号列 S を次式で表します。
S = s1 s2s3....、但し、si= AまたはB。
このとき、次の定理が成り立ちます。
（定理１）
すべての無限記号列 Sを要素とする無限集合Σの濃度｜Σ｜は非可算です。
ℵ0 ＜｜Σ｜ （１）、ℵ0は自然数の濃度。
（証明）
無限集合Σに対して対角線論法を適用します。
（定理２）
無限集合Σの濃度｜Σ｜は、すべての実数の集合の濃度cに等しい。
｜Σ｜＝ c （２）
（証明）
無限記号列 S において、A → 0 、B→ 1とし、先頭に小数点を付ければ２進表示の無限小数になるので、無限記号列と無限小数とが１対１に対応するからです。
（定理３）
無限小数は、無限記号列の特別なものです。
（証明）
無限記号列 S において、A → 0 、B→ 1とし、先頭に小数点を付ければ２進表示の無限小数になります。
（定理４）
無限集合Σは、２値論理演算のもとで加法群になります。
（証明）自明
（定理５）
無限集合Σに含まれる記号列の中で循環する記号列をすべて含む集合を
Σrep とすると、この循環型無限記号列集合の濃度は可算です。
｜Σrep｜＝ ℵ0
（証明）
周期１の記号列は２つ、周期２の記号列は４つ、以下同様なので、それらに自然数を対応させることができます。
si = f (i)なる関数 f (i) があるとき、その無限記号列を定義可能な無限記号列と名付けます。それ以外の無限記号列を定義不可能な無限記号列と名付けます。
循環型無限記号列は、定義可能な無限記号列です。
有理数の集合は、循環型無限記号列集合の特別なものです。
定義不可能な無限記号列そのものを数学的命題のなかで用いることはできません。
その意味で、定義不可能な無限記号列は非論理的概念です。
これは、定義不可能な無限小数が非論理的概念であることと同様です。
（定理６）
Σの濃度｜Σ｜に対して次のいずれかが成り立つとしても矛盾は生じません。
｜Σ｜＜ c （３）
｜Σ｜＝ c （４）
｜Σ｜＞ c （５）
（証明）
Σに含まれる定義不可能な無限記号列が非論理的概念なので、（３）～（５）のいずれもその真偽性を証明できないからです。
言い換えれば、（３）～（５）のいずれもそれが正しいとしても、あるいは、誤りであるとしても矛盾は生じないからです。
（定理７）
ℵ0 ＜｜Σ｜＜c （６）
を否定することも肯定することもできません。
言い換えると、無限記号列の濃度｜Σ｜は連続体仮説の反例になり得ます。
（証明）
（６）式の左半分は対角線論法が正しいという仮定のもので得られた定理（１）の（１）式によります。
一方、（６）式の右半分は定義不可能な無限記号列が非論理的概念であることを用いた（３）式によります。
関連した話題は、パソコンサイト 情報とは何か 情報と物質の関係から見える世界像 を是非ご覧ください！