---
tag: AP5F7FXTVM
kind: concept
name: Finitary formal system
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section F
    note: adopted
    mention: wikipedia://en/76765067#0XYB
    sections: [Summary]
inventory: [WT89R0X3F7]
---

## Summary

A formal system in which all operations, proofs, and expressions are finitary, relying only on objects that can be constructed or demonstrated in a finite number of steps.