Doncà, par mostràr che cualsiasi sistema de asiomi matematici xe de fato coerente, uno ga prima da asumere ła coerensa de un sistema matematico che xe in un serto senso pì forte del sistema che ga da eser provà coerente.