Comment by dogecoinbase

You should probably read up on axiomatic incompleteness and the halting problem.