Foundational Mathematics: A Neglected Opportunity