Wenn Barbara auf Aristoteles trifft, haben wir es mit der Grundlage der Logik zu tun. Und diese bildet inzwischen das Fundament der modernen Mathematik.