Mathematical foundations for mathematics