The human being is the only animal that thinks about the future.
未来十年,智能电动汽车将彻底改变人们的出行方式。
我不是诗人,我是空中飞人
逻辑学研究不仅仅是关于形式系统,更是关于人类推理的本质。