Logic, the foundation of mathematics