eli5: What is Godel’s Incompleteness Theorem in math and computer science?

Question

What are the problems and theorems that are derived from it?

In: 80

Answer 1

There will always be some true statements about the natural numbers that cannot be proven within the system.

This theorem has important implications for how we think about the limitations of logical systems and computational models