One point should, however, be made clear from the outset: these forms of inference which might possibly be considered disputable hardly ever occur in actual number theoretical proofs; we must not be misled and, because of the great self-evidence of these proofs, consider a consistency proof as superfluous.
Isang punto ay dapat, gayunman, ay malinaw na ginawa mula sa simula: ang mga uri ng hinuha na maaring marahil ay itinuturing na matututulan hindi kadalasan nangyayari sa aktwal na numero panteorya proofs; namin ay hindi dapat misled at, dahil sa ang malaki self-katibayan ng mga proofs, isaalang-alang ang pagbabago ng isang patunay na hindi kailangan.