I am looking for references for theorems of the form:

1) Any proof of theorem $X$ requires $n$ applications of induction axioms

and especially

2) Any proof of theorem $X$ requires $n$ nested applications of induction axioms.

I've seen similar statements for applications of axioms other than induction axioms (and I'd be happy to receive references for those, too, but I am particularly interested in induction)