@kururu_goedel: @alg_d これこれ、Zermeloをdisりなさるな。2012-06-03 11:48:50 via Mobile Web to @alg_d @kururu_goedel: @yuyu_de_gozaru はい、選択公理が必要になるのはxが無限集合のときだけです。空でない集合一つから要素を取り出すのは、まさに空…