http://uni.2ch.net/test/read.cgi/math/1317556554/89-94

ということなんで選択公理廃止！
以後、決定性公理を採用します。