>>246
>いや、名前付けているだけ
>「ツォルンの補題は半順序集合の極大元が存在するための条件を明らかにしている一方で、
>　極大元を具体的に特定する方法については何も語っていません。」
>だから、証明の便宜のため名前を付けて、証明の中だけ固定しているけど、
>証明終わったら固定は解除されて具体的なことは言えない
>そう言うことでしょ

証明の中だけ固定してる、って認めたね？
そう、関数記号がf一つしか出てこないなら
箱入り無数目の代表元も一つしかないんだよ
二つも三つもありゃしない
gとかhとかないんだから
同じ証明の中だからfという固定は解除されない
別に具体的にfを実現する必要は全くない
そういうことだよ　
飛行機に乗ったことない19世紀の騎兵隊の将校君