But in a system of mathematics, thinkers such as Hilbert had believed that it is just a matter of time to find such an axiomatization that would allow one to either prove or disprove (by proving its negation) each and every mathematical formula.
Nhưng trong một hệ thống của toán học, những nhà tư tưởng như Hilbert tin rằng đó chỉ là vấn đề thời gian để tìm cách tiên đề hóa cho phép chứng minh hoặc không chứng minh (bằng phủ nhận của nó) mọi công thức toán học.