Complex sentence: A system of inference rules and axioms allows certain formulae to be derived, called theorems; which may be interpreted to be true propositions.
Split into simpler sentences: A system of inference rules and axioms allows certain formulas to be derived. These derived formulas are called theorems and may be interpreted to be true propositions.