Title: Foundations of Mathematical Logic