text: Quindi, per dimostrare che un qualsiasi sistema assiomatico di matematica è di fatto coerente, bisogna innanzitutto presupporre la coerenza di un sistema di matematica che sia in un certo senso più forte del sistema di cui si vuole dimostrare la coerenza.