Ich kenne diese Schule auch, finde sie aber nicht elegant. Grund 1: Man braucht eine echte (!) Klasse von Modellen zur Definition der Semantik, wenn man korrekt vorgeht. Grund 2: Diese Methode ist ahistorisch, denn in der alten, eleganteren Tradition (Aristoteles, Frege, Zermelo, Hilbert u.a.) sind die Axiome primär, die Modelle werden erst in neuer Zeit dazu produziert.-- Wilfried Neumaier 21:57, 18. Jan. 2008 (CET)