... lớn đối sự hình thành và phát triển của toán học. Triết học cung cấp thế giới quan khoa học và phương pháp luận duy vật biện chứng nhằm định hướng và cung cấp công cụ nhận thức cho sự phát triển ... rằng trừ hai hệ hình thức đơn giản là toán mệnh đề và toán tân từ (và các hệ hình thức tương đương với chúng) là đầy đủ (tức không xảy ra nghịch lí) còn các hệ hình thức phức tạp hơn (hệ tiên đề ... cứu, giảng dạy và đời sống. Ông rất quan tâm đến mối liên hệ giữa toán học với thực tiễn, ông đã tìm hiểu và vận dụng rất thành công mối liên hệ này và phép biện chứng duy vật trong việc học...