Simplicity is prerequisite for reliability.
自然的法则是不占有,然而无事不成。
逻辑学研究不仅仅是关于形式系统,而是理解理性思维的基本结构。