Richardparadoxon

Ein Paradoxon der Definierbarkeit über reelle Zahlen: versucht man, alle in einer natürlichen Sprache definierbaren reellen Zahlen aufzuzählen, so kann man die Liste diagonal erweitern und eine neue reelle Zahl konstruieren, die selbst definierbar ist, was eine Widersprüchlichkeit offenbart und die Undeutlichkeit informeller Definierbarkeit zeigt.