An Pr. (Ich überlege, dass unsere alte Methode für 2 Familien heute unannehmbar ist! Denn Nachprüfung eines einfachen Beispiels zeigt, dass \(\mathfrak{M}^{1‚2}\) nicht das Axiom der Invarianz bei Einführung einer neuen Familie erfüllt! Da wir diese Forderung unbedingt erfüllen wollen, bin ich auf meine frühere Idee zurückgegangen, dass eine Struktur für \(F_-^1\) und eine für \(F^2\), für dasselbe Muster, als induktiv unabhängig genommen werden; wobei \(\mathfrak{M}\) für ihre Konjuktion das Produkt der Einzel \(\mathfrak{M}\) ist.)
