鏡 弘道 @kagami_hr
かが☆みんです。福島県出身。東北大学で数学の勉強をしていました。現在神奈川県藤沢市に住んでいます。数学好き。集合論が好きです。
-
ブルバキの論理体系と「選択公理」
10294pv 39 7 users 1 -
可算全順序集合が有理数体の通常の順序の部分順序になること
3129pv 2 1 user
かが☆みんです。福島県出身。東北大学で数学の勉強をしていました。現在神奈川県藤沢市に住んでいます。数学好き。集合論が好きです。