Seol mar théacs é seo: Foundations in modern mathematics