He wanted mathematics to be formulated on a solid and complete logical foundation.
Тој сакал математиката да се формулира на цврста и целосна логичка основа.