For the context, I was looking for an example of Gödel's incompleteness theorem that didn't involve self-referencing, because I felt that Gödel's example that r

For the context, I was looking for an example of Gödel's incompleteness theorem that didn't involve self-referencing, because I felt that Gödel's example that relied on self-referencing (https://news.ycombinator.com/item?id=25115746 https://news.ycombinator.com/item?id=25115746) did not match what I pictured in my mind as a "normal" undecidable statement. It just felt like a fancy version of the “This statement is false” paradox, which wasn't what I hoped for. So I found that link here: https://mathoverflow.net/a/4725 https://mathoverflow.net/a/4725.