如果你面对去年的自己不感到尴尬的话,你目前可能学习得不够努力。
逻辑学研究不仅仅是关于形式系统,更是关于推理本身的本质。