I'm not afraid to say that I want to be the greatest of all time.
History is, above all else, the creation and recording of that heritage; progress is its increasing abundance, preservation, transmission, and use.
逻辑学研究不仅仅是关于推理规则,而是关于推理本身的本质。
测试程序的最好方法是测试它。