Welches ist die größtmögliche Anzahl von Einwohnern in Podunk?
Folgende Aussagen über die Stadt Podunk entsprechen der Wahrheit:
Keine zwei Einwohner haben die gleiche Anzahl von Haaren
Kein Einwohner hat genau 518 Haare
Es gibt mehr Einwohner, als Haare auf dem Kopf eines jeden Einzelnen sind.
Ergebnis
Podunk hat maximal 518 Einwohner.
Nehmen wir an, Podunk hätte mehr als 518 Einwohner - sagen wir 520. Dann müsste es 520 verschiedene Zahlen geben, die alle kleiner als 520 sind und von denen keine gleich 518 ist. Das ist unmöglich; es gibt genau 520 verschiedene Zahlen (einschließlich der Null, die kleiner als 520 sind, folglich gibt es nur 519 Zahlen, die nicht gleich 518 und kleiner als 520 sind. Das ist ein Widerspruch - und es folgt daraus die angegebene Lösung.