[AG-GOuFP] Fundamentalsatz der Saldenmechanik

[Arne Pfeilsticker <Arne.Pfeilsticker AT piratenpartei-hessen.de>]

Hallo Thomas,
um den Fundamentalsatz der Saldenmechanik besser zu verstehen habe ich ihn in die Sprache der Mathematik übersetzt.

Laut Stüzel lautet der Fundamentalsatz:
> Setzt die Gültigkeit des Urteils U, durch die die Elemente der Menge M definiert sind, voraus, dass außer den darin vorkommenden Elementen, „für" die das Urteil gilt, selbst noch mindestens ein anderes Element derselben Menge existiert, dann gilt das Urteil höchstens für jede beliebige echteTeilmenge;
> (In.a.W.:dann gehört die Menge solcher Elemente sich selbst nicht an).

Meine Übersetzung lautet:

oder

Eine Rückübersetzung in einfaches Deutsch lautet:

Wenn eine Aussage (Urteil) für beliebige Teile einer Gruppe (Menge) gilt, dann kann man nicht daraus schließen, dass diese Aussage auch für die Gruppe als Ganzes gilt.

Oder mit Bezug auf Partialsätze und Globalsätze:

Ein Partialsatz ist nicht zwangsläufig auch ein Globalsatz.

Was hältst du von meiner Übersetzung?

Viele Grüße

Arne