Peter, du hast da diese Unterscheidung zwischen forall und bigwedge in der Formel, die mir immer noch nicht so ganz klar ist (wie du vielleicht schon an anderer unpassender Stelle bemerkt hast) :) Anscheinend meinst du das forall "außerhalb" und das bigwedge "innerhalb" der betrachteten Logik. Diese Unterscheidung würde dann hoffentlich auch in meiner Formulierung zum Ausdruck kommen. --SirJective 13:37, 25. Jun 2005 (CEST)