The only real failure in life is not to be true to the best one knows.
逻辑学研究不仅仅是关于形式系统,更是关于人类推理的本质。