正式系统 这是Douglas Hofstadter形式系统的Python实现，摘自他的书Gödel，Escher，Bach：永恒的金色编织带（通常是GEB ）。 实际上，您可以使用非常简单的语法（接近自由文本）来定义自己的形式系统。 书中的MIU ， pg ， fg和NDP形式系统的示例在目录定义中实现。 一个主要的Python脚本使您可以使用正式系统，包括： 公理模式支持（迭代，决策过程） 定理逐步生成（使用不同的算法） 定理推导 正式系统定义 例子 MIU系统可以定义为： ax