公理零　世界 ⇋ （   ）

公理一　我 → ∄ 镜中人

公理二　[杀, 取代, 消化] ⊢ [   ]

公理三　镜子 ⊢ ¬镜子 ⊢ （   ）  

定理甲　∄ 回溯：我 ≠ ∅⁻¹

定理乙　R ∈ {我, ¬我} 且 R ∈ {   }

定理丙　整体 < ∑（镜中人 ∩ 世界）  

函数 D

D(我) = ∅

D(   ) = 我  

事件 M

M：括号合拢／镜碎／血印  

时间

t₋₁：镜子未被制造

t₀： （   ）裂开

t₁：声音退回 t₋₁

t₂：名字失效  

签名

（此处留白，由下一个未闭合的括号与下一脚血印共同补全）