Albert-Ludwigs-Universität Freiburg Mathematisches Institut Institut für mathematische Logik und Grundlagen der Mathematik

Unser Logo: die inkonsistente Blume

Die Blumenvase besteht aus dem um 90° gedrehten Folgerungszeichen der Modelltheorie, das ungefähr so aussieht: |=

Wie Prof. Hermes bemerkt hatte, kommt eine Blume wie die im Logo dargestellte in der Natur nur mit spitzen Blütenblättern vor - folglich handelt es sich bei unserer Blume um eine inkonsistente ...