Seol mar théacs é seo: Foundation of abstract mathematics /