Title: Mathematical logic and the foundations of mathematics