"The task of art is to make the invisible visible."
解释:往往在你觉得是轻而易举的时候,困难也就跟着来了。
逻辑学研究不仅仅是关于形式系统,更是关于推理本身的本质。