I'm trying to relate Axiom Systems to Formal systems, can anyone help me ?
I know any formal system has 3 constituents, a language, a set of axioms, and rules of inference
what about an axiom system ?
is it a set of axioms ? does it also require a language ?
is it a specific kind of formal system ?
I know any formal system has 3 constituents, a language, a set of axioms, and rules of inference
what about an axiom system ?
is it a set of axioms ? does it also require a language ?
is it a specific kind of formal system ?