这是一款基于逻辑和推理的益智游戏。在这个游戏中，你可以学习和理解一个全新的推理系统，然后将公理和推理规则作为工具，通过输入代码来证明命题。

特色：

• 理解公理和推理规则（就像你在阅读数学书籍一样）

• 输入代码并证明命题（就像你在解决数学问题一样）

• "证明完毕"，"尤里卡！"，然后进入下一个循环

可能令人沮丧的元素：

• 没有好的艺术作品。（这比其他三个元素不那么重要）

• 大量的文字需要阅读，并且需要一些数学理解。（玩这个游戏就像在读一本数学书）

• 创建新的证明步骤的唯一方法是输入正确的代码，这实质上并不是游戏的核心。（这是由于我的编程能力有限）

• 没有自定义推论功能。只有公理和推理规则可用。（欢迎来到经典推理系统）

如果这些对你来说都可以，那么这款游戏可能适合你。

常见问题：

问：这款游戏主要是为哪些玩家设计的？

答：如果你有一些阅读数学书籍的经验并且对逻辑感兴趣，这款游戏可能是你喜欢的。

问：这是一款难度高的游戏吗？

答：最初，这款游戏的难度主要在于理解规则，并且很容易解决谜题。但如果你继续玩，问题会变得非常困难。无论如何，阅读和理解本身会构成难度的一部分。

问：设计这款游戏时是否受到了什么启发？

答：这款游戏受到了数理逻辑的启发，主要涉及命题逻辑和一阶谓词逻辑的自然推理。

问：通关这款游戏需要多长时间？

答：很难说。但在不休息的情况下通关游戏几乎是不可能的。

问：这款游戏和数学练习书有什么区别？

答：没有任何区别。我只是让它保持原样。如果有些玩家在意这一点，我会在与他们交谈时使用"可执行文件" 或 "练习书"，而不是 "这款游戏"。