Text this: The provability of some weak forms of the induction axiom