>>237
根拠となったのは、以下の主張です。

ZF の任意の可算モデルを M とします。以下、ZF の論理式A(x_1, ... , x_n)
は M に変数を持つものとして解釈します。M は可算だから、整列可能。従って、
任意の論理式 A(y, x_1, ... , x_n) と M の元の列 a_1, ... , a_n に対し、
A(y, a_1, ... , a_n) なる y∈M が存在すれば、そのような y の最小限を
f(a_1, ... , a_n) とおき、A(y, a_1, ... , a_n) なる y∈M が存在しなければ、
M の最小元を f(a_1, ... , a_n) とおきます。

こうすることによって、M 上の論理式には全てスコーレム関数が定義できるわけで、
M は ZFC のモデルとなります。

従って、M 内で AC は真。したがって、完全性定理より、ZF から AC は証明可能。

この論証の間違いを理解するのに、数ヶ月かかりました（笑）