This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International
Finitely axiomatized fragment of first-order Peano arithmetic that is recursively incompletable (in the sense of Gödel’s incompleteness theorems) and essentially undecidable