>>561
>nが何なのか分からないと真偽を問えないのであれば、「nが自然数ならば、nの二乗は偶数である」も、nが何なのか分からないので
nは自然数だと言ってるだろ