Nhìn vào lịch sử phát triển của toán học trên cơ sở đánh giá sự phân tích những điều kiện của toán học, đồng thời phân tích đối tượng và ý nghĩa của toán học, chúng ta có đủ cơ sở để khẳng định rằng thực tiễn không những chỉ là nguồn gốc và động lực của sự phát triển toán học mà còn là tiêu chuẩn chân lý của mỗi một lý thuyết toán học. Cũng như nhiều môn khoa học khác, toán học hoàn toàn không có gì khác với các lĩnh vực khác của kiến thức. Song trong toán học, vấn đề sử dụng thực tiễn như là một tiêu chuẩn chân lý đang được thực hiện dưới những hình thức đặc biệt trong thời đại chúng ta. Ở đây vấn đề bản chất của sự chính xác toán học chính là chiếc chìa khóa mở ra những cơ sở thực tế và bản chất của những hình thức nói trên.

Vấn đề bản chất của sự chính xác toán học đã được các nhà toán học và triết học nhiều lần đặt ra và giải quyết. Trong đó có những câu hỏi thường xuyên được đưa ra như: sự chính xác đặc biệt mà người ta thường nói về các khoa học suy diễn, đặc biệt là toán học, là ở chỗ nào? Vì sao "sự chính xác toán học", "phép chứng minh toán học" v.v... thường biểu thị mức độ cao của sự chính xác mà trí tuệ con người đã đạt được?