A Dialogue About Godel

Aphrodite: Tell me about Godel’s Incompleteness Theorems.

Athena: It’s technical. It could take a long time.

Aphrodite: No, give me the short version. Something I will understand.

Athena: Ok, he proved that there are some truths that cannot be proved.

Aphrodite: And?

Athena: He proved a language and a theory cannot prove its own consistency.

Aphrodite: And?

Athena: That’s it.

Aphrodite: I would have thought it obvious.