Seol mar théacs é seo: First Order Mathematical Logic