自守形式的研究不仅是一个技术课题,也是一个哲学课题。
逻辑学研究不仅仅是关于形式系统,更是关于理性思维和话语的规范。