Okay, thanks. I didn’t know that adding certain kinds of axioms was called “extension by definitions”.
Okay, thanks. I didn’t know that adding certain kinds of axioms was called “extension by definitions”.