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

游戏的主要体验包括

• 像阅读数学教材一样理解公理和推理规则

• 像做数学题一样使用公理和推理规则，并以指令的形式输入证明步骤

• 证毕，并享受尤里卡时刻，然后进入下一个循环

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

• 游戏没有精致的画面（这是劝退程度最低的一点）

• 游玩时需要阅读大量文本，且对数学阅读底蕴有一定要求（就像阅读数学教材那样）

• 输入证明步骤以指令形式，这包含了一些和核心玩法无关的工作量（技术水平所限）

• 证明只能使用给定规则，不能跳出系统构建自定义推论（严格在系统内执行步骤的天然结果）

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