A conservative extension adds new axioms or rules to a theory without…
Sign in to your account
Remember me
