
这是一款基于逻辑学和演绎推理的解谜游戏。你可以在游戏中学习并理解全新的公理系统,然后以公理和推理规则作为工具,输入指令证明相应的命题。 游戏的主要体验包括 像阅读数学教材一样理解公理和推理规则 像做数学题一样使用公理和推理规则,并以指令的形式输入证明步骤 证毕,并享受尤里卡时刻,然后进入下一个循环 游戏可能的劝退点主要包括 游戏没有精致的画面(这是劝退程度最低的一点) 游玩时需要阅读大量文本,且对数学阅读底蕴有一定要求(就像阅读数学教材那样) 输入证明步骤以指令形式,这包含了一些和核心玩法无关的工作量(技术水平所限) 证明只能使用给定规则,不能跳出系统构建自定义推论(严格在系统内执行步骤的天然结果) 如有不能接受的方面,请慎重考虑是否购买本游戏。