数学からの借用だと思うと
x = x + 1
が説明できないので捨てた方がいい