Godels incompleteness theorems

[bhpayne]

Need an example of https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems

I think it should be possible to provide an example of Godel's incompleteness theorem

• https://math.stackexchange.com/questions/48927/g%C3%B6dels-incompleteness-theorem-and-real-closed-fields
• https://math.stackexchange.com/questions/63038/a-concrete-example-of-g%C3%B6dels-incompleteness-theorem
• https://link.springer.com/chapter/10.1007/978-1-4612-2740-3_32#page-2 = The Gödel Incompleteness Theorem and Decidability over a Ring pages 321-339

Ideally the example would use the inference rules of the physics graph. However, to start I'm willing to stick with high school algebra.

I searched google for
``
example of godel incompleteness theorem
algebraic example of godel incompleteness theorem

I searched google scholar for

algebraic example of godel incompleteness theorem