Gödel’s proof demonstrates the limits of provability. The problem turns out to be true, although it cannot be proved.

Children live in a world in which the problems are true, and solutions cannot be proven. In this introduction to mathematical and theoretical proofs, you will see concrete examples of problems that were “true,” but we could not prove false...until we did. Thus, children in our particular formal system are not filled with absolute proofs...there are limits, and it may or may not be true in a different system.