新規作成
ZFC公理系
1
Contributors
0
Followers
ホーム
記事
本
新着の記事
現代数学
解説
Mathematical Context
2024年9月10日
CoqでZFC公理系において2つのペアが等しいときその対応する要素もそれぞれ等しいことを証明する。(1)
公理的集合論
,
Coq
,
ZFC公理系
0
0
27
0
