“...Kurt Gödel Colloquium Brno, Česko)...”