In 1930
Kurt Godel showed that systems
Have unsolvable

Problems: the truth is
Superior to given
Provability