2012年06月03日のツイート
@kururu_goedel: @alg_d これこれ、Zermeloをdisりなさるな。
2012-06-03 11:48:50 via Mobile Web to @alg_d
@kururu_goedel: @yuyu_de_gozaru はい、選択公理が必要になるのはxが無限集合のときだけです。空でない集合一つから要素を取り出すのは、まさに空でないことの定義からできます。それを有限回繰り返すこともできます。ですが、無限回の操作は人間には出来ないので、そこで選択公理がでてくるわけです