(See analytical hierarchy for the analogous construction of second-order arithmetic.)
(Δες analytical hierarchy για την ανάλογη κατασκευή του second-order arithmetic.)