Alwe
総高評価数
67
総閲覧数
3422
89
followers
85
follow
10
tags
@ptykes
89
followers
85
follow
10
tags
@ptykes
Home
Contents
Goods
人気の記事
解説
...
2020年11月7日
強制法によるCantorの定理の証明
集合論
,
強制法
,
Cantorの定理
830
21
解説
...
2020年12月20日
独立命題とはなにか
数理論理学
,
独立命題
1015
12
解説
...
2021年1月12日
ZFCのモデルの存在について
集合論
,
推移的モデル
,
絶対性
934
12
文献あり
4
解説
...
2020年11月12日
無矛盾性順序に関する注意
数理論理学
,
第二不完全性定理
,
相対的無矛盾性
88
9
5
解説
...
2020年12月24日
Christmas Suslin Tree
集合論
,
無限組合せ論
,
Suslin木
192
7
文献あり
新着の記事
解説
...
2021年1月12日
ZFCのモデルの存在について
集合論
,
推移的モデル
,
絶対性
934
12
文献あり
解説
...
2020年12月24日
Christmas Suslin Tree
集合論
,
無限組合せ論
,
Suslin木
192
7
文献あり
解説
...
2020年12月20日
独立命題とはなにか
数理論理学
,
独立命題
1015
12
解説
...
2020年11月12日
Craigの絡繰とその相対化
数理論理学
,
Craigの絡繰
,
再帰理論
99
5
文献あり
解説
...
2020年11月12日
無矛盾性順序に関する注意
数理論理学
,
第二不完全性定理
,
相対的無矛盾性
88
9
新着の本
このユーザは本を投稿していません。