>>656
選択公理と整列可能性定理とツォルンの補題には
高校生の時にかなり付き合ったが
4色問題にはまった後
線形代数からやり直した
プロを長くやりすぎたので
選択公理はもうわからなくなったかもしれない