Seol mar théacs é seo: Towards a philosophy of real mathematics