【専門書】数学の本第75巻【啓蒙書】

[0315 １３２人目の素数さん 2018/02/04(日) 00:11:12.48 ID:C514lGEj]

その場合、
A＝B ⇒ (A∈C⇔B∈C)
を公理に追加する必要がある
これが外延性公理の代わりになる