The logical foundations of mathematics