 The proof-theoretic strength of \(\RCA_0\) is weaker than that of PA while \(\ACA_0\) has the same strength as PA. To get a sense of scale, the strengths of the first four theories are best expressed via their proof-theoretic ordinals: