第一大关（前10关）是单目标，第二大关是多个浮空岛屿，一个主目标和多个辅助目标，并且允许使用已证明的定理去证明其他的定理，超过免费次数后需要花费金币。

可能还得规划一下下一步的游戏发展路径，比如说加入农场系统赚金币，再比如设计一个世界观和剧情。