In 1900, David Hilbert posed the problem of proving their consistency using only finitistic methods as the second of his twenty-three problems.
Το 1900,ο David Hilbert έθεσε το πρόβλημα της απόδειξης της συνέπειάς τους χρησιμοποιώντας μόνο finitistic μεθόδους όπως το δεύτερο από τα εικοσιτρία προβλήματά του.