>>31
>>30 の言う通りツォルンの補題をつかった証明は、原理的に超限帰納法+
整列定理を使った証明に書き換えることができるはずだから、演習として
超フィルターの存在証明を書き換えてみたらどうですか。いい練習と思いますよ。