- formal ohne Geltungsstrenge für Folgerungen aus einer Prämisse, denn die Folgerung ist Ergebnis, nicht VORAUSSETZUNG, innerhalb eines Systems: logische Klarheit statt Komplexität
- formalisiert → Abtrennungsregel: Folgewahrheit wird als grundsätzlich innerhalb eines Geltungsbereiches, SYSTEM, betrachtet