逻辑学研究不仅仅是关于正确推理,而是关于思想的解放。
数学之美不在于其复杂性,而在于其简洁性以及它揭示隐藏真理的方式。