---
tag: 3V53TR6JVG
kind: concept
name: Finitary arithmetic
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section F
    note: adopted
    mention: wikipedia://en/76765067#O8G5
    sections: [Summary]
inventory: [SK9Q4DVPXM]
---

## Summary

An approach to arithmetic focusing on finitary methods, avoiding infinities and emphasizing constructions that can be completed in a finite number of steps.