数理逻辑学习笔记[2] #20210708 命题逻辑：语法公理间的关系可靠性扩充、一致性定理完全扩充、完全性定理 命题逻辑附录 命题逻辑：语法 公理间的关系 Q: (L1) A → ( B → A ) \mathscr A\to(\mathscr B \to \mathscr A) A→(B→A) (L2) ( A → ( B → C ) ) → ( ( A → B ) →