Synopsis please.
HIlbert's tenth problem involves Diophantine equations. It involves an obvious truth and asks for a proof - an algorithm. Matiyasevich, among others, proved that it was unprovable. It's an example, or perhaps corollary to the Incompleteness Theorem.