 where \(\bs\) is the successor operator (“\(+1\)”). The arithmetical theory \(I \Delta_0\) (where I stands for “induction”), is similar to Peano Arithmetic, except that it allows less induction: the induction scheme