#公理的集合論 | Mathlog

公理的集合論

人気の記事

大学数学基礎解説

羨ましい、俺も食べたい

2月4日

Handbook of Set Theory 16. Prikry-Type Forcing 個人的まとめ1

公理的集合論,集合論

1

0

74

0

文献あり

大学数学基礎議論

2021年9月26日

集合論のメモ

田中尚夫,公理的集合論

0

0

14

0

現代数学解説

Mathematical Context

9月10日

CoqでZFC公理系において2つのペアが等しいときその対応する要素もそれぞれ等しいことを証明する。(1)

公理的集合論,Coq,ZFC公理系

0

0

27

0

新着の記事

現代数学解説

Mathematical Context

9月10日

CoqでZFC公理系において2つのペアが等しいときその対応する要素もそれぞれ等しいことを証明する。(1)

公理的集合論,Coq,ZFC公理系

0

0

27

0

大学数学基礎解説

羨ましい、俺も食べたい

2月4日

Handbook of Set Theory 16. Prikry-Type Forcing 個人的まとめ1

公理的集合論,集合論

1

0

74

0

文献あり

大学数学基礎議論

2021年9月26日

集合論のメモ

田中尚夫,公理的集合論

0

0

14

0