新規作成
Alwe
80
6449
@ptykes
92
Followers
95
Follow
ホーム
記事
8
本
0
高評価
人気の記事
大学数学基礎
解説
2020年11月7日
強制法によるCantorの定理の証明
集合論
,
強制法
,
Cantorの定理
22
0
1407
2
大学数学基礎
解説
2020年12月20日
独立命題とはなにか
数理論理学
,
独立命題
14
0
1814
1
大学数学基礎
解説
2021年1月12日
ZFCのモデルの存在について
集合論
,
推移的モデル
,
絶対性
13
0
1556
0
文献あり
4
4
大学数学基礎
解説
2020年11月12日
無矛盾性順序に関する注意
数理論理学
,
第二不完全性定理
,
相対的無矛盾性
9
0
245
0
5
5
大学数学基礎
解説
2020年12月24日
Christmas Suslin Tree
集合論
,
無限組合せ論
,
Suslin木
7
0
260
0
文献あり
新着の記事
現代数学
解説
6月17日
コンパクトからHausdorffの連続全単射は同相であることの代数的な証明
圏論
,
代数学
,
位相空間論
4
0
661
0
文献あり
大学数学基礎
解説
2021年1月12日
ZFCのモデルの存在について
集合論
,
推移的モデル
,
絶対性
13
0
1556
0
文献あり
大学数学基礎
解説
2020年12月24日
Christmas Suslin Tree
集合論
,
無限組合せ論
,
Suslin木
7
0
260
0
文献あり
大学数学基礎
解説
2020年12月20日
独立命題とはなにか
数理論理学
,
独立命題
14
0
1814
1
大学数学基礎
解説
2020年11月12日
Craigの絡繰とその相対化
数理論理学
,
Craigの絡繰
,
再帰理論
5
0
153
0
文献あり