最近知った意味の分からん数学の問題

以下のプログラムを考える

int x = 0;
int y = 0;

以下を無限ループ
x=y;
y=x;

上記のプログラムで常にx=y=0という事実は数学的には証明できない
事実数学的には途中でx=y=42になってしまう可能性がある