Definition:Minimal Arithmetic

Definition
Minimal arithmetic is the set $Q$ of theorems of the recursive set of sentences in the language of arithmetic containing exactly:

Note
These are just the usual axioms of arithmetic, except for the inductive axioms.

Note in particular that this is a finite list.