krótsze i bardziej eleganckie dowody. Każdy taki dowód może być jednak zastąpiony dowodem &lt;orig&gt;finitystycznym&lt;/&gt;. Hilbert 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 "&lt;orig&gt;finitystyczny&lt;/&gt;" (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 &lt;orig&gt;finitystyczne&lt;/&gt; 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