Redirect to:

This page is a redirect. The following categories are used to track and monitor this redirect:

From an avoided double redirect: This is a redirect from an alternative title or related topic of Arithmetical comprehension, another redirect to the same title. Because double redirects are disallowed, both pages currently point to Reverse mathematics#Arithmetical comprehension ACA0.
- If Arithmetical comprehension is retargeted or is expanded into a separate article, template, or other project page, this redirect will be recategorized to be updated.

To a section: This is a redirect from a topic that does not have its own page to a section of a page on the subject. For redirects to embedded anchors on a page, use {{R to anchor}} instead.

When appropriate, protection levels are automatically sensed, described and categorized.

Arithmetical comprehension axiom