He wanted mathematics to be formulated on a solid and complete logical foundation.
Ήθελε τα Μαθηματικά να διαμορφωθούν σε σταθερές και ολοκληρωμένες λογικές βάσεις.