新規作成
ZFC
2
Contributors
0
Followers
ホーム
記事
本
人気の記事
大学数学基礎
議論
めいぜんおーえす
2020年12月19日
ZFCの公理一覧と誤解しやすいポイント
集合論
,
ZFC
8
0
4500
3
文献あり
エンタメ
議論
AAG
1月27日
ZFCで遊ぼう!(1)
自然演繹
,
自然数
,
ZFC
2
0
111
1
初心者
文献あり
エンタメ
解説
AAG
26日前
ZFCで遊ぼう!(2)
形式的証明
,
Coq
,
ZFC
1
0
72
0
初心者
文献あり
新着の記事
エンタメ
解説
AAG
26日前
ZFCで遊ぼう!(2)
形式的証明
,
Coq
,
ZFC
1
0
72
0
初心者
文献あり
エンタメ
議論
AAG
1月27日
ZFCで遊ぼう!(1)
自然演繹
,
自然数
,
ZFC
2
0
111
1
初心者
文献あり
大学数学基礎
議論
めいぜんおーえす
2020年12月19日
ZFCの公理一覧と誤解しやすいポイント
集合論
,
ZFC
8
0
4500
3
文献あり