Seol mar théacs é seo: Wann ist eine formale Logik kreativ?