A relative consistency proof demonstrates that if a system S is consistent, adding new axioms to S also maintains consistency.…