新規作成
めいぜんおーえす
45
20546
26
Followers
39
Follow
ホーム
記事
5
本
0
高評価
人気の記事
大学数学基礎
議論
2020年12月16日
形式的なペアノの公理で誤解しやすいポイント
ペアノの公理
,
ペアノ算術
,
自然数
14
0
11166
0
文献あり
大学数学基礎
議論
2020年12月19日
ZFCの公理一覧と誤解しやすいポイント
集合論
,
ZFC
12
0
7247
3
文献あり
大学数学基礎
解説
2021年12月1日
5つの圏の定義とCoqによる実装
圏論
,
Coq
8
0
904
0
文献あり
4
4
大学数学基礎
議論
2021年2月20日
なんで証明中の選択公理が目立つのかって話
集合論
,
選択公理
7
0
662
0
文献あり
5
5
大学数学基礎
解説
2021年10月10日
単射のよくある間違い
集合論
,
単射
,
選択公理
4
0
567
0
文献あり
新着の記事
大学数学基礎
解説
2021年12月1日
5つの圏の定義とCoqによる実装
圏論
,
Coq
8
0
904
0
文献あり
大学数学基礎
解説
2021年10月10日
単射のよくある間違い
集合論
,
単射
,
選択公理
4
0
567
0
文献あり
大学数学基礎
議論
2021年2月20日
なんで証明中の選択公理が目立つのかって話
集合論
,
選択公理
7
0
662
0
文献あり
大学数学基礎
議論
2020年12月19日
ZFCの公理一覧と誤解しやすいポイント
集合論
,
ZFC
12
0
7247
3
文献あり
大学数学基礎
議論
2020年12月16日
形式的なペアノの公理で誤解しやすいポイント
ペアノの公理
,
ペアノ算術
,
自然数
14
0
11166
0
文献あり