24/02/11 09:22:51.48 RDnD0TpN.net
>>100
>原論文において,Solovayは“選択公理はもちろん正しい”と明言しており,
上記の文章は言葉足らず
正確には”選択公理は(矛盾を導かないという意味で)もちろん正しい”
このことはゲーデルがすでに証明している
一方で”選択公理の否定も(矛盾を導かないという意味で)もちろん正しい”
これはコーエンが証明したこと
ユークリッド幾何から第５公準を除いた理論において
第５公準もその否定も(矛盾を導かないという意味で)それぞれ正しい