这个世界并不害怕新思想,它可以把新思想归档。
逻辑学研究不仅仅是关于形式系统,更是关于人类推理的本质。