The journey of a thousand miles begins with one step.
The essence of mathematics is not to make simple things complicated, but to make complicated things simple.
逻辑学研究不仅仅是关于形式系统,更是关于理解人类推理的本质。