这是一款基于逻辑学和演绎推理的解谜游戏。你可以在游戏中学习并理解全新的公理系统,然后以公理和推理规则作为工具,输入指令证明相应的命题。
制作发行:zqh games
官方中文:支持
上市时间:2024年12月(PC)