>>688
> 例
> x^2=3の場合、
> xを自然数とすると、「成り立たない」となります。
>
> 1=5-3の場合、「成り立たない」となりますが、
> 前者と、意味が異なります。
>
> x^2=3の場合、xを自然数としないと、成り立ちます。
> 1=5-3の場合、無条件に、成り立ちません。

前者のたとえは良く分からないのですが、
> 1=5-3の場合、無条件に、成り立ちません。
つまり「成り立たない」んですよね？
「計算不可能」とか「無理」とかではなく。