>>65
>証明できなものは存在しない
大嘘。
「存在証明できないものは存在すると言えない」や「存在反証できるものは存在しないと言える」が正しい。
なおかつ理論から存在証明できないものがその理論のモデル内に存在していてもよい。実際、ペアの算術から無限大超自然数の存在は証明できないが、超準モデルが存在してその中に無限大超自然数が存在する。
基礎論のいろはも知らないのに分かった風な体で書き込むのやめたら？