>>28
こういう超越的手法でしか存在が保障されないような存在は
どうあがいても具体的な形で「見る」ことはできないと思うぞ。
たとえば、実数直線Rは有理数体Q上の線形空間と見ることができて、
Q-線形空間としての基底の存在がZornの補題よりいえる。しかし、
RのQ-線形空間としての基底を具体的に構成した人（見た人）は
誰もいない。選択公理を直接に使って証明しても同様だ。

もし、選択公理を使ってI上の超フィルターが具体的に作れるのなら、
RのQ-基底も同様だろう。作るのに成功したら是非見せて欲しいものだ。