#公理的集合論 | Mathlog

公理的集合論

新着の記事

現代数学解説

Mathematical Context

2024年9月10日

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

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

0

0

27

0

大学数学基礎議論

2021年9月26日

集合論のメモ

田中尚夫,公理的集合論

0

0

24

0