V-alg-d(ZZ)
@alg_d
【The axiom of choice, fixed point theorems, and inductive ordered sets】 http://t.co/SCXDIYvu この辺の話を書きたかったのですが全然証明書いてなくて困ったもんです。 #論文
2012-10-12 00:31:42
simplicial object
@zj_nj
@alg_d うう……世の中難しい……(基礎論についての衒学記事を読めば読むほど数学に対する不安感のみが増していく)
2012-10-12 00:34:25