A finitely axiomatised, quantifier-free fragment of PA. Already strong enough to support Gödel's first incompleteness theorem despite lacking induction.
A finitely axiomatised, quantifier-free fragment of PA. Already strong enough to support Gödel's first incompleteness theorem despite lacking induction.