也就是说 加法 和 乘法 的抽象，就能覆盖很大，能够图灵完备