>>27
存在だけを問題にした場合はツォルンの補題で構いません。しかし、それだと存在が
保証されるだけで、出来上がったモノがどんな構造をしているのか見えません。この
意味において「理解した気にならない」と言っているのです。そこで、選択公理を使い、
超フィルターの中身が目に見えるような、素朴な構成が出来ないのか質問しています。