Seol mar théacs é seo: Mathematics: a survey of its foundations