A conservative extension adds new axioms or rules to a theory without altering the truth of existing statements. This ensures…