Deductrium[生存模式]

数据统计：

  • 拥有推理素：0
  • 累计消耗推理素：0
  • 拆除门个数：0块
  • 总方块步数：1块
  • 到达过的最大序数：0
  • 能前往的最大序数：1 (逢0进位)

成就统计：(手机横屏最佳)

解锁了成就
我推出我
收费站拆除
你推出你，他推出他（⊢$0>$0）
If I were..
会跑的“⊢”（演绎元定理）
吃素啦
第一次消费
敢于说不
负负得正
否定爆炸
我推出你，你推出我（<>）
素食主义者（累计获40µg推理素）
逻辑门（与/或）
排中律是真的！(p|~p)
没毛病！~( p & ~p )
皮尔士定律((p>q)>p)>p
命题逻辑自动推理
一阶逻辑
约束与自由
丢掉量词，尽情替换！
众生平等
概括一切（概括元定理）
命题逻辑大礼包
替换一切（互推替换元定理）
割让量词的领土
一阶逻辑大礼包
量词连连消消乐
改名换姓（换名元定理）
加大剂量（累计获1mg推理素）
皮亚诺公理
1+1=2
2*2=4
加法交换律
乘法分配率
致死剂量（累计获1g推理素）
3小于4
5不整除6
解锁素数
7是素数
任何数都有阶乘
质数有无穷个
类型论
真理之门
简化依赖函数
证明助手上线！
相等类型
自然数的归纳法
True的值都是true
1+1=2类型论版
相等的归纳法
代入方程即可
1就是1，2就是2（not (eq 1 2)）
数论达人(5不整除7)
顺时针一圈逆时针一圈，还是回到原点
我等价我
泛等公理（ua）
圆圈跟圆点不同伦（loop不是rfl）
原来皮尔士跟他们是一伙的
排中律是个谎言！？
ZFC集合论
我包含我
千里之行，始于空集
ZFC简化大礼包
交交并并
ω^ω
我给且只给所有不自己理发的人理发
集齐所有ZFC公理
不可数
一切皆可良序
ω^ω^ω^ω
临界质量（累计获50.1kg推理素）

注意：创造模式与生存模式不共享进度系统。创造模式下无法体验双曲空间以及序数系统等游戏内容，前往生存模式请点击这里。

若遇Bug或其它任何问题：

欢迎联系游戏作者Hqak

[M]元规则：
[P]定理：