sounds like the paradox that _could_ illustrate Gödel's incompleteness theorems

https://en.wikipedia.org/wiki/G%C3%B6del's_incompleteness_th...