>>27

古い話で恐縮。べき集合が面白かったんで素朴集合論の勉強してる。
2^ℵ0　とか無限集合をSchemeで疑似的に扱えないものだろうか？
コンピューターの有限集合に慣れきっているんで選択公理のどこが
問題なのかピンとこない。コンピューターが実無限を扱えると面白い。