Comment by gedpeck

There are statements provably true about the natural numbers that can’t be proven in first order PA. Are such statements part of computer science? If so, how?