Thus, in order to show that any axiomatic system of mathematics is in fact consistent, one needs to first assume the consistency of a system of mathematics that is in a sense stronger than the system to be proven consistent.
Dadosnyané, anggén nujuang yéning sabilang sistem aksiomatik matematika sujatinyané punika adalah konsisten, kapertama iraga patut ngasumsiang konsistensi sistem matematika sané maarti pinih patut ketimbang sistem sané pacang mabukti konsisten.