"Eiji KATSURA" <blackhole(I_dont_read_mails)@hamaint.co.jp> wrote in message
news:d3lol5$14vg$1@fw.hamaint.co.jp...
> それは、たぶん、『「Zermeloの選択公理(と同値な公理)を
> 使わずには証明できない存在定理によって存在が示される
> もの」を構成的に求めることはできない』と読むんですよ。
>

早速のご教示ありがとうございました.
おっしゃるように理解しているのですが,Zermeloの選択公理を使って証明した存在定
理で存在が示されるものは
構成的に求めることができないということが必然の論理的帰結なのかどうか知りたい
と思っております.

Skye