Complex sentence: Mathematical logic is a subfield of mathematics exploring the application of formal logic to mathematics and bearing close connections to metamathematics, the foundations of mathematics, and theoretical computer science.
Split into simpler sentences: Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. Topically, mathematical logic bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science.