Formal Mathematical Systems including a Structural Induction Principle