I dunno how a 12 years old will respond to this explanation of the second incompleteness theorem, but in my experience non mathematicians follow it just fine:
Suggestion: This is a very bare bone explanation. You could spice it up with some history. I know its a bit unorthodox, but you might want to take a peak at Logicomix. It is a very fine example of a great balance between accuracy and accessibility for laymen, and as luck would have it -- it's topic is pretty much the development of analytic logic from Cantor through Russel to Godel.
Disclaimer: This is a very heuristic example, and it omits technical details (for example, the statement of the incompleteness theorem itself is actually considerably stronger than the one stated here), but I find these details overbearing and unimportant for laypersons.