什么是逻辑形式系统？ - Sam

为什么上学目的是为了辨别哪些理论是在胡说八道？ 为什么数学家和物理学家可以在纸上写一些有趣的符号，对它们进行逻辑运算，产生一些新的有趣的符号排列，并确信这些新的符号实际上告诉他们一些关于宇宙的真实情况？（注意，并不是因为他们已经成为数学家或物理学家，他们的话才是真的） 这些需要掌握逻辑的形式系统（formal system）。 一个形式系统由以下部分组成： ...