3 ms·

I think structural induction over S will do just fine.

• traderjane 8y ago
  I thought that the recursively enumerable structure was given by the Axiom of Induction.