generated at
2/21/2025, 8:13:51 PM
ZFC公理系
from
公理的集合論
ZF公理系
に
選択公理
を加えたもの
「ZFC」の由来
Ernst Zermelo
と
Adolf Fraenkel
の名前と、
選択公理
(
asiom of choice
)より
https://math-fun.net/20200113/4906/
https://tech-blog.rei-frontier.jp/entry/2017/11/02/102042
https://ja.wikipedia.org/wiki/ZFCから独立な命題の一覧
ブルバキはこれを信頼していた ref
p.218
故に
数学原論
に圏論が出てこなかった
https://martbm.hatenablog.com/entry/20170723/1500777080
https://mathlog.info/articles/1314
