18/02/04 00:11:12.48 C514lGEj.net
その場合、
A＝B ⇒ (A∈C⇔B∈C)
を公理に追加する必要がある
これが外延性公理の代わりになる
18/02/04 00:11:12.48 C514lGEj.net
その場合、
A＝B ⇒ (A∈C⇔B∈C)
を公理に追加する必要がある
これが外延性公理の代わりになる
18/02/04 00:11:12.48 C514lGEj.net
その場合、
A＝B ⇒ (A∈C⇔B∈C)
を公理に追加する必要がある
これが外延性公理の代わりになる