Thus the assumption that ZF is consistent (has at least one model) implies that ZF together with these two principles is consistent.
Deste modo a asunción de que ZF é consistente (tendo polo menos un modelo) implica que ZF xunto con estes dous principios é consistente.