Na ja, das habe ich anders gelernt, aber da gibt es vielleicht verschiedene Auffassungen, und wir brauchen die Diskussion ja auch nicht ausufern lassen. Für mich ist die natürliche Reihenfolge: 1. Definition von Formeln. 2. Zuweisung einer Semantik (Modelltheorie) und damit die Festlegung der logischen (semantischen) Folgerung. 3. Die Suche nach Kalkülen, die diese semantische Folgerung nachvollziehen. Gruß, Wasseralm 19:36, 18. Jan. 2008 (CET)