2011-06-21から1日間の記事一覧

2011年06月21日のツイート

@kururu_goedel: @MarriageTheorem なにも準備がない状態ではこの書き方が一番早いので、公理系につっこむときにはよく使われます。ZFCを書くときもこれが一番普通かと。2011-06-21 13:24:27 via TweetDeck to @MarriageTheorem @kururu_goedel: あと、セシ…