He wanted mathematics to be formulated on a solid and complete logical foundation.
Ông muốn toán học phải được hệ thống hóa trên một nền tảng logic vững chắc và đầy đủ.