1 Mathematical Logic