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 Ťx u(x,...) , gdzie u zawiera tylko formuły atomowe, spójniki logiczne i kwantyfikatory ograniczone (czyli tzw. zdania klasy % ).<br>Matematyka &lt;orig&gt;infinitystyczna&lt;/&gt; może być usprawiedliwiona i