“Ein rötliches Grün gibt es nicht” ist den Sätzen verwandt, die wir als Axiome in der Mathematik gebrauchen.