Equivalence of Systems

Systems have Axioms and Rules

• Axioms are theorems
• Rules form theorems from theorems
• The axioms and rules define the theory

Equivalance

• Are the two theories the same?