He wanted mathematics to be formulated on a solid and complete logical foundation.
Quería que a matemática fose formulada sobre unhas bases sólidas e completamente lóxicas.