大概玩法是要定义出来很多种运算或者证明定理，比如一开始会给你一个函数 $next(i)=i+1$ 然后造出加法这样。