逻辑是所有数学推理的基础。
Logic is the foundation of all mathematical reasoning.