@kururu_goedel: @alg_d 選択公理は認めないけどZornの補題は使う。それが選択公理を導くかなんてきにしない、とか。2012-07-26 22:15:59 via TweetDeck to @alg_d @kururu_goedel: 正解がないぞ。可算無限個だろうが。 RT @ma6_bot Q.公理的集合論(ZF)はい…