逻辑学研究不仅仅是关于规则,更是关于理解思维的结构。
Arriving at one goal is the starting point to another.
自动化不是为了取代人,而是为了让他们的工作更安全和高效。