Seol mar théacs é seo: Basic Concepts of Mathematics and Logic