5 ms·
> any logical framework which can express Peano arithmetic (with a finite list of axioms)
by strbean 2y ago
> any logical framework which can express Peano arithmetic
(with a finite list of axioms)
- jrvidal 2y agoI think the precise pre-condition is that the theory should be recursive, which means either a finite list of axioms _or_ a computable check to determine whether a given formula is an axiom.