11/05/25 00:25:46.30
>>19
> 選択公理がウソっぽい。ウソを公理にしてウソを導いただけかと。
同意。
少なくとも現代数学自身の為の公理系と物理理論の記述言語としての数学の為の公理系が同じでなければならない必然性はない。
例えばどの様な大きな集合をも整列可能としてしまう普通の選択公理とは矛盾する決定性公理を採用した集合論に基づく数学では
Banach-Tarskiの逆理は導かれないどころか、全実数の集合Ｒの任意の部分集合はルベーク可測となる。
しかも決定性公理は通常の無制限な選択公理とは矛盾するが、加算集合に限定した選択公理、つまり加算選択公理を定理として
決定性公理を採用した集合論の公理系から導くことは可能だ。
もっとも、選択公理を物理の為の数学に採用すべきか否か以前に、物理的な時空はべったりと続いた連続体か？という
根本的な疑問があるわけだが。