Higher-order arithmetic
Redirect to:
Second-order arithmetic