＞数学の証明において、∃xP(x)から「あるcが存在してP(c)」を推論してよいが、証明の結論にcを含むことはできない。

では整列定理はウソですか？