C言語の代入文

a = a + 1;

　数学が得意な人は，この式が気持ち悪いですね．代入記号を数学でいうところの等号記号（つまり，式の左辺と右辺が等しいということを表している）と考えると，この式は矛盾した式だということになります．

学校の教材に書かれていたのだが、確かに変だ。pascalの

a := a + 1;

って方が、意味的にもいいのかも。