2012年07月26日のツイート
@kururu_goedel: @alg_d 選択公理は認めないけどZornの補題は使う。それが選択公理を導くかなんてきにしない、とか。
2012-07-26 22:15:59 via TweetDeck to @alg_d
@kururu_goedel: 正解がないぞ。可算無限個だろうが。 RT @ma6_bot Q.公理的集合論(ZF)はいくつの公理からなる?---A 1 3つ 2 7つ 3 6つ 4 8つ
@kururu_goedel: なんだかしらないけど作業が遅かったから私は家に入れてもらえないらしいです。暖かいときで雨も降ってないからよかったね。