例えば
x^2=-1に解は存在するという命題は
Z上では偽だがC上では真である。

x^2＝4ならばx＝2である
というのも、負根を知らない奴にとっては正しい。