>>961
選択公理をACと表し、
ZF+AC=ZFC
IZF+AC=IZFC
と表します

ZFCは古典論理上の理論なので、排中律は成立してます
ZF も古典論理上の理論なので、排中律は成立してます

IZF は直観主義論理上の理論なので、排中律は成立してません
IZFCも直観主義論理上の理論ですが、ACのおかげで排中律が成立してしまいます

つまりIZFC=ZFCとなる、ということですよね？

分かってますか？　ID:hW/TJfzKさん