>>469
> そもそも何かの存在を示すのにその例示は必須ではない｡
> 実際、選択公理は選択関数のインスタンスを何等示さずに選択関数の存在を主張している｡
> そのような抽象思考が数学ってもんだ。インスタンスを見ないと納得できない三歳児には無理｡

そういうのは選択公理による抽象数学とは言わん、利己的公理濫造数学と言う｡
お前は事ある事に選択公理だ選択公理だ喚いて新機軸を主張し過ぎなんだよ｡
だから毎度お前は自爆発言やらかすんだよ｡