Donca, per dimustrar che qual-sa-vöör sistèm assiomatich de la matemategh l’è corent, l’è necessari prima prender la cunsistenza de un sistèm de la matemategh che l’è en quai mod püsee fort del sistèm per vèss demustrà coerent.