形式化、公理化无法摆脱科学理论错误

• Formalization and Axiomatization Can't Rid of Mistakes of Scientific Theory