Duncje, par mostrâ che ogni sistemi assiomatic da matematiche al è coerent, a si scuen prime assumi la coerence di un sistemi matematic che intune cierte maniere al è plui fuart dal sistemi che a si scuen mostrâ come coerent.