無限の存在と、有限の存在は、排中律に従うか?
以下のような巨大数が考えられる。
巨大数の定義
濃度の等しい無限集合と同士の一対一の対応関係を作り、の元を半分に減らして、の元二つからの元一つに写像を写す。の元を半分に減らし、の元四つからのそれぞれの元一つに写像を写す。このようにの元を半分に減らすたび、の一つの元への写像の原像のの元の数を二倍にしていく。
は常に、より大きく無限より小さい。
が有限の範囲で最も大きくなった時のの値を
「豊姫の扇から作られる素粒子の数」
とする。
問題点
豊姫の扇から作られる素粒子の数は、無限か?
多分有限だと思う。
しかし分からない。