An Pr. (Ich finde allerhand Fälle, wo \(\mathfrak{M}^{1‚2}\) das Axiom \(A11\), Invarianz in Bezug auf Einführung einer neuen Familie, zu meiner Überraschung erfüllt. Darauf prüfe ich die negativen Fälle nach, und korrigiere Rechenfehler: Sie stimmen auch überein mit der Forderung! Ich finde einen Beweis, erst beschränkt, dann etwas allgemeiner. Das sieht ermutigend aus.)
