Who shaves the barber?

My favorite phrasing of Gödel's Second Incompleteness Theorem: Every arithmetic set theory that can prove its own consistency is inconsistent.

@Riker You cannot prove that two things that do not exist are different.