theory of foundations of mathematics