These restrict the tools available so that only rational numbers with bounded denominators can occur in a proof, which also cannot use differentiation and integration and other infinite tools.
Ang mga ito rendahan ang mga kasangkapan na magagamit upang ang makatuwiran lamang ang mga numero sa bounded denominators maaaring mangyari sa isang patunay, na kung saan din ay hindi maaaring gamitin ang pagkita ng kaibhan at integration at iba pang mga kasangkapan na walang hanggan.