18/10/02 18:52:50.02 b77PBQT3.net
選択公理が認識される前から、数学者は無意識に自明のものとして選択公理を使用していた。
仮にZFCをこえる公理が必要とされるなら、まず数学者は「普通の数学」の展開の中で無意識のうちに「自明なもの」として使い、あとから数学の基礎を固める段階で、
いつの間にか新しい公理を無意識に使っていたと判明するのではないか。
18/10/02 18:52:50.02 b77PBQT3.net
選択公理が認識される前から、数学者は無意識に自明のものとして選択公理を使用していた。
仮にZFCをこえる公理が必要とされるなら、まず数学者は「普通の数学」の展開の中で無意識のうちに「自明なもの」として使い、あとから数学の基礎を固める段階で、
いつの間にか新しい公理を無意識に使っていたと判明するのではないか。