twierdził ponadto, że niesprzeczność jest warunkiem wystarczającym dla istnienia i że każdy dowód istnienia, który nie podaje konstrukcji postulowanego obiektu jest w istocie zapowiedzią takiej konstrukcji.<br>Używane przez Hilberta pojęcie "<orig>finitystyczny</>" (i pochodne) jest niestety nieprecyzyjne. Hilbert nie podał jego ścisłej definicji. Stąd też możliwe są rozmaite jego interpretacje. Najczęściej przyjmuje się, że rozumowanie <orig>finitystyczne</> to tyle, co rozumowanie pierwotnie rekurencyjne w sensie Skolema, a więc dające się sformalizować w systemie PRA arytmetyki Skolema (por. rozdział II.2, 2, A), zaś zdania realne to zdania postaci Ťx u(x,...) , gdzie u zawiera tylko formuły atomowe, spójniki logiczne i kwantyfikatory ograniczone (czyli tzw