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.