Logic is the foundation of all mathematical reasoning.