公理的集合論
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の中では構成できない