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

1=5-3は、「計算不可能」なので、「成り立たない」となります。