"The most thought-provoking thing in our thought-provoking time is that we are still not thinking."
认识你自己。
逻辑学研究不仅仅是关于形式系统,更是关于人类推理的本质。