[hood_syntax]

Godel's incompleteness theorem would seem to imply that is possible unless I'm misinterpreting it. I have a rather elementary understanding.

[adam-fn]

The Collatz conjecture ( https://xkcd.com/710/ ) may well be an example here.