MU 谜题

MU 谜题是通往形式系统的入门试炼。问题很简单：能否从公理 MI 出发，只凭严格的规则推出目标 MU？这一章揭示了在系统内机械推演与站在系统外推论能力之间的落差。