New Foundations in Mathematics