Formalisierte Theorie: Unterschied zwischen den Versionen