generated at
2/21/2025, 7:37:43 PM
公理的集合論
axiomatic set theory
https://ja.wikipedia.org/wiki/公理的集合論
ZF公理系
選択公理
(axiom of choise
あわせてZFC公理系という
Zermelo-Fraenkel set-theory with the axiom of Choice
CはchoiseのC
パラドックスの回避のために作られた
ラッセルのパラドックス
リシャールのパラドックス
ブラリ＝フォルティのパラドックス
ラッセルのパラドックスにおける
\{ x \mid x\notin x\}
は、ZFCの中では構成できない