这是一款基于逻辑学和演绎推理的解谜游戏。你可以在游戏中学习并理解全新的公理系统，然后以公理和推理规则作为工具，输入指令证明相应的命题。

游戏的主要体验包括

- 像阅读数学教材一样理解公理和推理规则
- 像做数学题一样使用公理和推理规则，并以指令的形式输入证明步骤
- 证毕，并享受尤里卡时刻，然后进入下一个循环

游戏可能的劝退点主要包括

- 游戏没有精致的画面（这是劝退程度最低的一点）
- 游玩时需要阅读大量文本，且对数学阅读底蕴有一定要求（就像阅读数学教材那样）
- 输入证明步骤以指令形式，这包含了一些和核心玩法无关的工作量（技术水平所限）
- 证明只能使用给……显示全部定规则，不能跳出系统构建自定义推论（严格在系统内执行步骤的天然结果）

如有不能接受的方面，请慎重考虑是否购买本游戏。

一些常见的问题：

Q：游戏主要适合哪些玩家？
A：游戏适合有一定数学阅读基础，且对逻辑学有一定兴趣的玩家。

Q：游戏难度大吗？
A：游戏的前期难度主要体现在对公理和推理规则的理解上，也就是理解机制本身；后期的难度则不仅体现在理解规则上，还体现在部分较有难度的命题上。无论怎样，理解规则本身构成游戏难度的一环。

Q：游戏内容参考了什么？
A：游戏参考了很多逻辑学基础课的知识，以命题逻辑和一阶谓词逻辑的公理系统和自然推演为主。

Q：游戏的流程大概多长？
A：这非常难预测。不过可以确定的是，想在不休息的情况下一口气通关整个游戏是几乎不可能的。

Q：玩这个游戏和做题有什么区别？
A：没有区别，我不避讳这点。如果有玩家对游戏形式介意，我愿意在和他们交流时使用“可执行程序”或“习题集”来代替“游戏”一词。