# is it arithmetic?

**Does a mind’s reasoning contain arithmetic in the relevant sense?**

The theorem needs a system with enough arithmetic. People do arithmetic, which makes it plausible, and it has not been shown for the reasoning inside a brain.

Connects to:
- [checkable or not](https://mapideas.org/i/c_check)
- [weakest condition?](https://mapideas.org/i/th_q)
- [a threshold in nature?](https://mapideas.org/i/s_q)

Source: https://mapideas.org/i/c_q1 · open on the map: https://mapideas.org/#c_q1