WU谜题-集异壁之大成逻辑游戏

只用纸和你的大脑就能玩的游戏。
今天我们聊下形式系统。玩的游戏出自《集异壁之大成》，这是一个关于字母、字符串、逻辑的游戏。

你只有WU

• 如果归你所有的符号串结尾是J，可在后面加一个U
• 如果你有Wx，则Wxx也归你（x代表任意符号串，如你有WJU，就可以得到WJUJU）
• 如果JJJ归你所有，可以用U代替JJJ，得到新的符号串
• 如果UU出现在你的一个符号串，可以去掉它

如何得到WU？

关于WU谜题的一个推理，如何得到WU，实际就是在WJ为公理的情况下，根据4个推理规则，推导WU是否是定理。
分享一个CSDN博客关于这个问题的推理，简单实用。WU谜题_nameofcsdn的博客-CSDN博客_wu谜题

答案是，WU并不是定理。
实际上，在公理WJ中有1个J，（1）（4）不会改变J的个数，（2）是将J的个数翻倍，（3）是J的个数减3。
这样，所有的定理中，J的个数都不是3的倍数，因为所有的定理都是从公理出发，经过4条推理规则得到的。
而WU中J的个数为0，是3的倍数，所以WU不是定理。