Tak tōż, coby pokozać, co egal jaki aksjōmatyczny systym matymatyki je w ryalności niysprzeczny, przinoleży nojprzōd założyć niysprzeczność systymu matymatyki, kery je w pewnym synsie silniyjszy aniżeli systym, kery mo być dowiydziōny za niesprzeczny.