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