First Order Mathematical Logic