新規作成
ZFC
2
Contributors
0
Followers
ホーム
記事
本
全てのカテゴリ
作成日順
評価順
エンタメ
解説
AAG
3月30日
ZFCで遊ぼう!(2)
形式的証明
,
Coq
,
ZFC
2
0
111
0
初心者
文献あり
エンタメ
議論
AAG
1月27日
ZFCで遊ぼう!(1)
自然演繹
,
自然数
,
ZFC
2
0
146
1
初心者
文献あり
大学数学基礎
議論
めいぜんおーえす
2020年12月19日
ZFCの公理一覧と誤解しやすいポイント
集合論
,
ZFC
11
0
6183
3
文献あり
読み込み中...
読み込み中