Seol mar théacs é seo: Changes in the foundations of exact science