>>696

それはOK。僕が気に入らないのはそれが全射であるということ。
「値はわからないが、とにかく全射だ」って言われても困るだろう。
まあ、選択公理とかも似たようなものといえば似たようなものだけどさ。