He would show that mathematics could be reduced to something even more simple, more general, more basic than had hitherto been supposed, to logical concepts, and, moreover, at the same time, he would be able to exhibit the internal logical structure of mathematics in a much more rigorous way.
