这是一款基于逻辑学和演绎推理的解谜游戏。你可以在游戏中学习并理解全新的公理系统，然后以公理和推理规则作为工具，输入指令证明相应的命题。游戏的主要体验包括像阅读数学教材一样理解公理和推理规则像做数学题一样使用公理和推理规则，并以指令的形式输入证明步骤证毕，并享受尤里卡时刻，然后进入下一个循环游戏可能的劝退点主要包括游戏没有精致的画面（这是劝退程度最低的一点）游玩时需要阅读大量文本，且对数学阅读底蕴有一定要求（就像阅读数学教材那样）输入证明步骤以指令形式，这包含了一些和核心玩法无关的工作量（技术水平所限）证明只能使用给定规则，不能跳出系统构建自定义推论（严格在系统内执行步骤的天然结果）如有不能接受的方面，请慎重考虑是否购买本游戏。一些常见的问题：Q：游戏主要适合哪些玩家？A：游戏适合有一定数学阅读基础，且对逻辑学有一定兴趣的玩家。Q：游戏难度大吗？A：游戏的前期难度主要体现在对公理和推理规则的理解上，也就是理解机制本身；后期的难度则不仅体现在理解规则上，还体现在部分较有难度的命题上。无论怎样，理解规则本身构成游戏难度的一环。Q：游戏内容参考了什么？A：游戏参考了很多逻辑学基础课的知识，以命题逻辑和一阶谓词逻辑的公理系统和自然推演为主。Q：游戏的流程大概多长？A：通关游戏需要的时长因人而异，一般在20~40小时。Q：玩这个游戏和做题有什么区别？A：没有区别，我不避讳这点。如果有玩家对游戏形式介意，我愿意在和他们交流时使用“可执行程序”或“习题集”来代替“游戏”一词。