Title: Mathematics and Mathematical Logic