能。
我不太记得那个系统是怎么样的了。总之我们知道 Hilbert 的命题逻辑演算有四条公理,而后人将其精简为三条。这不是重点。重点是有人无聊,作出了一个只有一条公理(准确来说是一个公理模式,否则规则中就需要加上带入规则)的系统。通过这一条公理和 MP 规则,这个系统可以推出所有 Hilbert 命题演算系统中的逻辑重言式,是不是很厉害?当然了,这个公理是如此之长以至于我根本不可能记得它长啥样。印象中里面的字母都用了至少六七个了。
这个地方就更简单了:你要做的事情无非就是用「……,并且,……」来连接所有科学上为真的陈述,然后得到一句巨长无比的话,通常来说,可以将其写作这种形式:
而这是一句话。
当然了,可能的问题是,这个句子的长度或许会是无限的。啊……不用想了肯定是,因为如果 在里面,并且在里面,那么也在里面,你可以仅仅通过两个真命题生成任意长度的公式……嘛算了不管了。谁在乎呢。
以上。