成功不是终点,失败也不是致命的:重要的是继续前进的勇气。
逻辑学研究不仅仅是关于形式系统,更是关于人类推理的本质。
The capacity of the human mind for forming and manipulating symbols is what sets us apart from other animals.