>>1の主張が正しいのなら、ツォルンの補題や整列可能定理も怪しいことになるが、今のところ触れてはいないのかな？

まあ、時間の無駄だから辞めておいた方が良いが…。