Inhalt

Aktueller Ordner: /

bundle1tutorial.html

<!DOCTYPE html>
<html lang="de">
<head>
    <meta charset="UTF-8">
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
    <title>Modal-Tutorial Bündel 1 – Die axiomatische Struktur der Trinität (Modul 6–8)</title>
    <base href="https://pompeii-project.org">
    <style>
        /* ========== GLOBAL ========== */
        * { margin: 0; padding: 0; box-sizing: border-box; }
        body {
            font-family: 'Georgia', 'Times New Roman', Times, serif;
            background-color: #f5f3ef;
            color: #2c2c2c;
            line-height: 1.7;
            padding: 2rem 1rem;
        }
        .container {
            max-width: 820px;
            margin: 0 auto;
            background-color: #fffef7;
            padding: 2rem 2.2rem;
            border-radius: 16px;
            box-shadow: 0 8px 30px rgba(0,0,0,0.08);
            border: 1px solid #e0d6c8;
        }
        h1 {
            font-size: 1.8rem;
            font-weight: normal;
            color: #2c2c2c;
            border-left: 6px solid #6b4f8a;
            padding-left: 1rem;
            margin-bottom: 0.3rem;
        }
        .subhead {
            font-size: 0.95rem;
            color: #6b6b6b;
            margin-bottom: 1.8rem;
            border-bottom: 1px solid #e0d6c8;
            padding-bottom: 0.8rem;
        }
        .subhead a {
            color: #6b4f8a;
            text-decoration: none;
        }
        .subhead a:hover { text-decoration: underline; }
        .version-badge {
            display: inline-block;
            background-color: #6b4f8a;
            color: #fffef7;
            font-size: 0.65rem;
            padding: 0.15rem 0.6rem;
            border-radius: 20px;
            vertical-align: middle;
            margin-left: 0.5rem;
        }
        .part-tag {
            display: inline-block;
            font-size: 0.7rem;
            padding: 0.1rem 0.6rem;
            border-radius: 20px;
            color: white;
            margin-right: 0.5rem;
        }
        .part-tag.pA { background-color: #6b4f8a; }
        .part-tag.pB { background-color: #2a6b4f; }
        .part-tag.pC { background-color: #8b4513; }

        /* ========== STEP BLOCK ========== */
        .step-block {
            background-color: #faf8f3;
            border-left: 4px solid #6b4f8a;
            padding: 1.5rem 1.8rem;
            margin-bottom: 2rem;
            border-radius: 0 10px 10px 0;
        }
        .step-block.partA { border-left-color: #6b4f8a; }
        .step-block.partB { border-left-color: #2a6b4f; }
        .step-block.partC { border-left-color: #8b4513; }
        .step-number {
            font-size: 0.75rem;
            text-transform: uppercase;
            letter-spacing: 1px;
            color: #6b4f8a;
            font-weight: bold;
        }
        .step-number.partB { color: #2a6b4f; }
        .step-number.partC { color: #8b4513; }
        .step-title {
            font-size: 1.3rem;
            font-weight: bold;
            margin: 0.2rem 0 0.8rem 0;
            color: #2c2c2c;
        }
        .step-explanation { margin-bottom: 1.2rem; }
        .step-explanation p { margin-bottom: 0.8rem; }
        .step-explanation ul, .step-explanation ol {
            margin: 0.5rem 0 0.8rem 1.5rem;
        }
        .step-explanation li { margin-bottom: 0.3rem; }

        /* Formula box */
        .formula-box {
            background-color: #f0ede6;
            padding: 0.8rem 1.2rem;
            border-radius: 8px;
            margin: 0.8rem 0;
            font-family: 'Courier New', monospace;
            font-size: 1.05rem;
            text-align: center;
            border: 1px solid #d4cab8;
            overflow-x: auto;
        }
        .formula-box.important {
            background-color: #d4edda;
            border-color: #6b4f8a;
        }
        .formula-box.partB {
            background-color: #d4e8dd;
            border-color: #2a6b4f;
        }
        .formula-box.partC {
            background-color: #f5e0d0;
            border-color: #8b4513;
        }

        /* ========== QUESTION ========== */
        .question-box {
            background-color: #f5f0ea;
            padding: 1.2rem 1.5rem;
            border-radius: 10px;
            margin-top: 1rem;
            border: 1px solid #d4cab8;
        }
        .question-box .qoptions {
            display: flex;
            flex-wrap: wrap;
            gap: 0.4rem 1rem;
            margin-bottom: 0.8rem;
        }
        .question-box .qoptions label {
            display: inline-block;
            background-color: #fffef7;
            padding: 0.15rem 0.8rem;
            border-radius: 30px;
            border: 1px solid #d4cab8;
            font-size: 0.85rem;
            cursor: pointer;
            transition: background-color 0.2s;
        }
        .question-box .qoptions label:hover { background-color: #e8e2d7; }
        .question-box .qoptions input[type="radio"] {
            margin-right: 0.3rem;
            accent-color: #6b4f8a;
        }
        .question-box .qsubmit {
            background-color: #6b4f8a;
            color: #fffef7;
            border: none;
            padding: 0.4rem 1.6rem;
            border-radius: 30px;
            font-size: 0.85rem;
            font-family: inherit;
            cursor: pointer;
            transition: background-color 0.2s;
        }
        .question-box .qsubmit:hover { background-color: #4d3a63; }
        .question-box .qsubmit:disabled {
            background-color: #b0a89a;
            cursor: not-allowed;
        }
        .question-box .qfeedback {
            margin-top: 0.8rem;
            padding: 0.6rem 1rem;
            border-radius: 8px;
            font-weight: bold;
            display: none;
        }
        .question-box .qfeedback.correct {
            display: block;
            background-color: #d4edda;
            color: #155724;
            border: 1px solid #c3e6cb;
        }
        .question-box .qfeedback.wrong {
            display: block;
            background-color: #f8d7da;
            color: #721c24;
            border: 1px solid #f5c6cb;
        }

        /* ========== PROGRESS ========== */
        .progress-bar {
            background-color: #e0d6c8;
            border-radius: 20px;
            height: 8px;
            margin: 1.8rem 0 1rem 0;
            overflow: hidden;
        }
        .progress-bar .fill {
            height: 100%;
            width: 0%;
            background-color: #6b4f8a;
            border-radius: 20px;
            transition: width 0.4s ease;
        }
        .progress-text {
            text-align: right;
            font-size: 0.8rem;
            color: #8b8b8b;
            margin-top: -0.3rem;
        }

        /* ========== NAVI ========== */
        .nav-links {
            display: flex;
            flex-wrap: wrap;
            justify-content: space-between;
            align-items: center;
            margin-top: 2rem;
            padding-top: 1rem;
            border-top: 1px solid #e0d6c8;
        }
        .nav-links a {
            color: #6b4f8a;
            text-decoration: none;
            font-size: 0.9rem;
            padding: 0.3rem 0.8rem;
            border-radius: 30px;
            background-color: #f0ede6;
            transition: background-color 0.2s;
        }
        .nav-links a:hover:not(.disabled) { background-color: #d4cab8; }
        .nav-links .disabled {
            color: #b0a89a;
            pointer-events: none;
            background-color: #f5f3ef;
        }

        /* ========== RESPONSIVE ========== */
        @media (max-width: 640px) {
            .container { padding: 1.2rem; }
            h1 { font-size: 1.4rem; }
            .step-block { padding: 1rem 1.2rem; }
            .question-box { padding: 1rem; }
            .question-box .qoptions { flex-direction: column; gap: 0.2rem; }
            .formula-box { font-size: 0.9rem; padding: 0.6rem 0.8rem; }
            .nav-links { flex-direction: column; gap: 0.6rem; align-items: stretch; text-align: center; }
        }

        /* ========== HELPER ========== */
        .symbol {
            font-family: 'Courier New', monospace;
            background-color: #f0ede6;
            padding: 0.05rem 0.4rem;
            border-radius: 4px;
            font-size: 0.95rem;
        }
        .boxed {
            border: 1px solid #c4a86b;
            padding: 0.3rem 0.8rem;
            border-radius: 6px;
            display: inline-block;
            background-color: #faf8f3;
            font-weight: bold;
        }
    </style>
</head>
<body>

<div class="container" id="app">

    <!-- ===== HEADER ===== -->
    <h1>📐 Die axiomatische Struktur der Trinität <span class="version-badge">Bündel 1 – Modul 6–8</span></h1>
    <div class="subhead">
        Ein interaktives Tutorial – Schritt für Schritt<br>
        <a href="modal.html?lang=de">← Zurück zur Einstiegsseite</a> |
        <a href="bundle1.pdf">📄 PDF des Bündels</a>
    </div>

    <!-- ===== PROGRESS ===== -->
    <div class="progress-bar" id="progressBar">
        <div class="fill" id="progressFill" style="width: 0%;"></div>
    </div>
    <div class="progress-text" id="progressText">Schritt 0 von 30</div>

    <!-- ===== STEPS ===== -->
    <div id="stepContainer"></div>

    <!-- ===== NAVIGATION ===== -->
    <div class="nav-links" id="navLinks">
        <a href="#" id="prevBtn" class="disabled">← Zurück</a>
        <span id="stepIndicator" style="font-size:0.85rem; color:#8b8b8b;">0 / 30</span>
        <a href="#" id="nextBtn">Weiter →</a>
    </div>

    <!-- ===== FOOTER ===== -->
    <div style="margin-top: 2.5rem; padding-top: 1rem; border-top: 1px solid #e0d6c8; font-size: 0.75rem; color: #8b8b8b; text-align: center;">
        <p>© Paul Koop – <a href="modal.html?lang=de" style="color: #6b4f8a;">the-last-freedom.org/Projekt_Pompeji</a></p>
        <p style="margin-top:0.2rem;">Bündel 1 führt durch die Module 6, 7 und 8 – die axiomatische Struktur der Trinität.</p>
    </div>

</div>

<script>
    // ================================================================
    //  DATA: 30 steps for Bundle 1 – Module 6, 7, 8
    // ================================================================

    const steps = [
        // ============================================================
        //  EINLEITUNG (Steps 0–2)
        // ============================================================
        {
            id: 0,
            title: "Was ist Bündel 1?",
            part: "Einführung",
            explanation: `
                <p><strong>Bündel 1</strong> führt durch die drei Module, die die <strong>axiomatische Struktur</strong> der Trinität klären:</p>
                <ul>
                    <li><strong>Modul 6:</strong> Die Minimalität der Superpositions-Axiome.</li>
                    <li><strong>Modul 7:</strong> Die Nicht-Eindeutigkeit der Superpositions-Axiome.</li>
                    <li><strong>Modul 8:</strong> Die Trinität als Grenzwert (topologische Modallogik).</li>
                </ul>
                <p>Diese drei Module beantworten die Frage: <strong>Was ist die axiomatische Struktur der Trinität?</strong></p>
                <p>Sie bauen alle auf <code>modal5.md</code> auf und setzen die dort eingeführte Unterscheidung zwischen reinem S5 und S5+SP voraus.</p>
            `,
            question_html: `
                <p><strong>Was ist das Ziel von Bündel 1?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q0" value="0"> Die Trinität zu widerlegen.</label>
                    <label><input type="radio" name="q0" value="1"> Die axiomatische Struktur der Trinität zu klären.</label>
                    <label><input type="radio" name="q0" value="2"> Die Existenz Gottes zu beweisen.</label>
                    <label><input type="radio" name="q0" value="3"> Die Trinität als Illusion zu entlarven.</label>
                    <label><input type="radio" name="q0" value="4"> Die Physik zu ersetzen.</label>
                    <label><input type="radio" name="q0" value="5"> Die Theologie zu begründen.</label>
                </div>
            `,
            answer: 1
        },
        {
            id: 1,
            title: "Rückblick: Was modal5.md gezeigt hat",
            part: "Einführung",
            explanation: `
                <p>In <code>modal5.md</code> wurde gezeigt:</p>
                <ol>
                    <li><strong>In reinem S5</strong> ist die Trinitätsformel <span class="symbol">□∀xTr(x)</span> <strong>nicht</strong> ableitbar aus den Basisaxiomen A1, A4, A11, A12, A13, A14, A15.</li>
                    <li><strong>Unter den Superpositions-Axiomen</strong> ASP1–ASP5 ist sie ableitbar.</li>
                    <li><strong>Die Frage der Minimalität</strong> blieb offen.</li>
                </ol>
                <p>Bündel 1 beantwortet diese offene Frage — und geht darüber hinaus.</p>
                <div class="formula-box">S5 &not;&vdash; □∀xTr(x) &nbsp;&nbsp;–&nbsp;&nbsp; S5+SP &vdash; □∀xTr(x)</div>
            `,
            question_html: `
                <p><strong>Was blieb in modal5.md offen?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q1" value="0"> Die Frage, ob die Trinität existiert.</label>
                    <label><input type="radio" name="q1" value="1"> Die Frage der Minimalität der Superpositions-Axiome.</label>
                    <label><input type="radio" name="q1" value="2"> Die Frage, ob S5 widersprüchlich ist.</label>
                    <label><input type="radio" name="q1" value="3"> Die Frage, ob die Physik relevant ist.</label>
                    <label><input type="radio" name="q1" value="4"> Die Frage, ob es einen Gott gibt.</label>
                    <label><input type="radio" name="q1" value="5"> Die Frage, ob die Trinität eine Illusion ist.</label>
                </div>
            `,
            answer: 1
        },
        {
            id: 2,
            title: "Die drei Formen der Minimalität",
            part: "Einführung",
            explanation: `
                <p>Der Begriff „Minimalität" ist mehrdeutig. In Modul 6 werden drei Formen unterschieden:</p>
                <ol>
                    <li><strong>Redundanz:</strong> Ein Axiom ist aus den übrigen ableitbar.</li>
                    <li><strong>Unabhängigkeit:</strong> Kein Axiom ist aus den übrigen ableitbar.</li>
                    <li><strong>Semantische Unverzichtbarkeit:</strong> Keine echte Teilmenge leitet die Zielaussage ab.</li>
                </ol>
                <p>Die dritte Form ist die stärkste und die relevanteste für die Trinitätsfrage.</p>
            `,
            question_html: `
                <p><strong>Welche Form der Minimalität ist die stärkste?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q2" value="0"> Redundanz</label>
                    <label><input type="radio" name="q2" value="1"> Unabhängigkeit</label>
                    <label><input type="radio" name="q2" value="2"> Semantische Unverzichtbarkeit</label>
                    <label><input type="radio" name="q2" value="3"> Zufälligkeit</label>
                    <label><input type="radio" name="q2" value="4"> Beliebigkeit</label>
                    <label><input type="radio" name="q2" value="5"> Widersprüchlichkeit</label>
                </div>
            `,
            answer: 2
        },

        // ============================================================
        //  TEIL A: MINIMALITÄT (Modul 6) – Steps 3–12
        // ============================================================
        {
            id: 3,
            title: "TEIL A – Modul 6: Die Minimalität der Superpositions-Axiome",
            part: "Teil A",
            explanation: `
                <div style="background:#e8e0f0; padding:0.5rem 1rem; border-radius:6px; margin-bottom:1rem;">
                    <span class="part-tag pA">TEIL A</span>
                    <strong>Modul 6</strong>
                </div>
                <p><strong>Frage:</strong> Ist jedes der fünf Superpositions-Axiome unverzichtbar?</p>
                <p><strong>Antwort:</strong> Nein. ASP1 ist aus ASP2 in S5 ableitbar. Die minimale Teilmenge für die Zielaussage ist {ASP3, ASP4, ASP5}.</p>
                <p><strong>Methode:</strong> Konstruktion von Gegenmodellen für jedes Axiom.</p>
            `,
            question_html: `
                <p><strong>Was ist die Hauptfrage von Modul 6?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q3" value="0"> Ist die Trinität wahr?</label>
                    <label><input type="radio" name="q3" value="1"> Ist jedes Superpositions-Axiom unverzichtbar?</label>
                    <label><input type="radio" name="q3" value="2"> Ist S5 widersprüchlich?</label>
                    <label><input type="radio" name="q3" value="3"> Ist die Physik relevant?</label>
                    <label><input type="radio" name="q3" value="4"> Gibt es einen Gott?</label>
                    <label><input type="radio" name="q3" value="5"> Ist die Trinität eine Illusion?</label>
                </div>
            `,
            answer: 1
        },
        {
            id: 4,
            title: "Erstes Ergebnis: ASP2 impliziert ASP1",
            part: "Teil A",
            explanation: `
                <p>Aus ASP2 folgt durch Instanziierung <span class="symbol">v := w<sub>super</sub></span>:</p>
                <div class="formula-box">w<sub>super</sub> R w<sub>super</sub> → (C @ w<sub>super</sub> ↔ w<sub>super</sub> = w<sub>super</sub>)</div>
                <p>In S5 gilt Reflexivität: <span class="symbol">w<sub>super</sub> R w<sub>super</sub></span>. Und Identität: <span class="symbol">w<sub>super</sub> = w<sub>super</sub></span>. Also:</p>
                <div class="formula-box important">C @ w<sub>super</sub></div>
                <p>Das ist genau ASP1. <strong>ASP1 ist also aus ASP2 ableitbar.</strong></p>
            `,
            question_html: `
                <p><strong>Welches Axiom ist aus ASP2 ableitbar?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q4" value="0"> ASP3</label>
                    <label><input type="radio" name="q4" value="1"> ASP1</label>
                    <label><input type="radio" name="q4" value="2"> ASP4</label>
                    <label><input type="radio" name="q4" value="3"> ASP5</label>
                    <label><input type="radio" name="q4" value="4"> Keines</label>
                    <label><input type="radio" name="q4" value="5"> Alle</label>
                </div>
            `,
            answer: 1
        },
        {
            id: 5,
            title: "Die minimale Teilmenge für die Zielaussage",
            part: "Teil A",
            explanation: `
                <p>Für die Ableitung der Zielaussage <span class="symbol">□∀xTr(x)</span> ist die minimale Teilmenge:</p>
                <div class="formula-box important">{ASP3, ASP4, ASP5}</div>
                <p><strong>Beweis:</strong></p>
                <ul>
                    <li><strong>ASP3:</strong> Tr gilt in <span class="symbol">w<sub>super</sub></span>.</li>
                    <li><strong>ASP4:</strong> Tr wird auf alle erreichbaren Welten übertragen.</li>
                    <li><strong>ASP5:</strong> Jede Welt ist erreichbar.</li>
                </ul>
                <p>Damit gilt Tr in allen Welten — d. h. <span class="symbol">□∀xTr(x)</span>.</p>
            `,
            question_html: `
                <p><strong>Welche Teilmenge ist minimal für die Zielaussage?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q5" value="0"> {ASP1, ASP2, ASP3}</label>
                    <label><input type="radio" name="q5" value="1"> {ASP3, ASP4, ASP5}</label>
                    <label><input type="radio" name="q5" value="2"> {ASP1, ASP4, ASP5}</label>
                    <label><input type="radio" name="q5" value="3"> {ASP2, ASP3}</label>
                    <label><input type="radio" name="q5" value="4"> {ASP1, ASP2}</label>
                    <label><input type="radio" name="q5" value="5"> {ASP4}</label>
                </div>
            `,
            answer: 1
        },
        {
            id: 6,
            title: "Gegenmodell für ASP3",
            part: "Teil A",
            explanation: `
                <p>Wir konstruieren ein Modell <span class="symbol">ℳ₃</span>, das ASP4 und ASP5 erfüllt, aber nicht ASP3, und in dem die Zielaussage <strong>nicht</strong> gilt.</p>
                <p><strong>Konstruktion:</strong></p>
                <ul>
                    <li>W = {w<sub>super</sub>, w*}</li>
                    <li>R = W × W (universell)</li>
                    <li>Tr(x) @ w<sub>super</sub>: falsch für ein Individuum a</li>
                    <li>Tr(x) @ w*: wahr für alle x</li>
                </ul>
                <p><strong>Prüfung:</strong> ASP3 verletzt (¬Tr(a) @ w<sub>super</sub>). Zielaussage falsch (in w<sub>super</sub> gilt ¬∀xTr(x)).</p>
            `,
            question_html: `
                <p><strong>Was zeigt das Gegenmodell für ASP3?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q6" value="0"> ASP3 ist redundant.</label>
                    <label><input type="radio" name="q6" value="1"> ASP3 ist unverzichtbar für die Zielaussage.</label>
                    <label><input type="radio" name="q6" value="2"> ASP3 widerspricht A1.</label>
                    <label><input type="radio" name="q6" value="3"> ASP3 ist dasselbe wie ASP4.</label>
                    <label><input type="radio" name="q6" value="4"> ASP3 ist nicht formulierbar.</label>
                    <label><input type="radio" name="q6" value="5"> ASP3 ist wahr.</label>
                </div>
            `,
            answer: 1
        },
        {
            id: 7,
            title: "Gegenmodell für ASP4",
            part: "Teil A",
            explanation: `
                <p>Wir konstruieren ein Modell <span class="symbol">ℳ₄</span>, das ASP3 und ASP5 erfüllt, aber nicht ASP4.</p>
                <p><strong>Konstruktion:</strong></p>
                <ul>
                    <li>W = {w<sub>super</sub>, w₁}</li>
                    <li>R = W × W (universell)</li>
                    <li>Tr(x) @ w<sub>super</sub>: wahr für alle x</li>
                    <li>Tr(x) @ w₁: falsch für a</li>
                </ul>
                <p><strong>Prüfung:</strong> ASP4 verletzt (w<sub>super</sub> R w₁, aber ¬Tr(a) @ w₁). Zielaussage falsch.</p>
            `,
            question_html: `
                <p><strong>Was zeigt das Gegenmodell für ASP4?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q7" value="0"> ASP4 ist redundant.</label>
                    <label><input type="radio" name="q7" value="1"> ASP4 ist unverzichtbar für die Zielaussage.</label>
                    <label><input type="radio" name="q7" value="2"> ASP4 widerspricht A1.</label>
                    <label><input type="radio" name="q7" value="3"> ASP4 ist dasselbe wie ASP3.</label>
                    <label><input type="radio" name="q7" value="4"> ASP4 ist nicht formulierbar.</label>
                    <label><input type="radio" name="q7" value="5"> ASP4 ist wahr.</label>
                </div>
            `,
            answer: 1
        },
        {
            id: 8,
            title: "Gegenmodell für ASP5",
            part: "Teil A",
            explanation: `
                <p>Wir konstruieren ein Modell <span class="symbol">ℳ₅</span>, das ASP3 und ASP4 erfüllt, aber nicht ASP5.</p>
                <p><strong>Konstruktion:</strong></p>
                <ul>
                    <li>W = {w<sub>super</sub>, w₁}</li>
                    <li>R = {(w<sub>super</sub>, w<sub>super</sub>), (w₁, w₁)} (zwei isolierte Klassen)</li>
                    <li>Tr(x) @ w<sub>super</sub>: wahr für alle x</li>
                    <li>Tr(x) @ w₁: falsch für a</li>
                </ul>
                <p><strong>Prüfung:</strong> ASP5 verletzt (w₁ ≠ w<sub>super</sub>, aber w<sub>super</sub> R w₁ gilt nicht). Zielaussage falsch.</p>
            `,
            question_html: `
                <p><strong>Was zeigt das Gegenmodell für ASP5?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q8" value="0"> ASP5 ist redundant.</label>
                    <label><input type="radio" name="q8" value="1"> ASP5 ist unverzichtbar für die Zielaussage.</label>
                    <label><input type="radio" name="q8" value="2"> ASP5 widerspricht A1.</label>
                    <label><input type="radio" name="q8" value="3"> ASP5 ist dasselbe wie ASP4.</label>
                    <label><input type="radio" name="q8" value="4"> ASP5 ist nicht formulierbar.</label>
                    <label><input type="radio" name="q8" value="5"> ASP5 ist wahr.</label>
                </div>
            `,
            answer: 1
        },
        {
            id: 9,
            title: "Synthese: Die minimale Axiomatik",
            part: "Teil A",
            explanation: `
                <p>Die Ergebnisse von Modul 6:</p>
                <ul>
                    <li><strong>ASP1 ist redundant</strong> (aus ASP2 ableitbar).</li>
                    <li><strong>Die minimale Teilmenge für die Zielaussage ist {ASP3, ASP4, ASP5}.</strong></li>
                    <li><strong>Die volle Axiomatik {ASP1, …, ASP5} ist minimal für die Superpositions-Intuition.</strong></li>
                </ul>
                <p><strong>Konsequenz:</strong> Der Begriff der Minimalität ist <strong>relativ</strong>. Er hängt ab von dem, was abgeleitet werden soll.</p>
            `,
            question_html: `
                <p><strong>Was ist das Hauptergebnis von Modul 6?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q9" value="0"> Die Trinität ist unmöglich.</label>
                    <label><input type="radio" name="q9" value="1"> Die minimale Teilmenge für die Zielaussage ist {ASP3, ASP4, ASP5}.</label>
                    <label><input type="radio" name="q9" value="2"> Alle ASP-Axiome sind redundant.</label>
                    <label><input type="radio" name="q9" value="3"> S5 ist widersprüchlich.</label>
                    <label><input type="radio" name="q9" value="4"> Die Trinität ist eine Illusion.</label>
                    <label><input type="radio" name="q9" value="5"> Die Physik ist irrelevant.</label>
                </div>
            `,
            answer: 1
        },
        {
            id: 10,
            title: "Die Rolle von ASP1 und ASP2",
            part: "Teil A",
            explanation: `
                <p>ASP1 und ASP2 sind <strong>nicht notwendig</strong> für die Zielaussage. Aber sie sind <strong>wesentlich</strong> für die Superpositions-Intuition:</p>
                <ul>
                    <li><strong>ASP1:</strong> C gilt in der Superposition.</li>
                    <li><strong>ASP2:</strong> C gilt <strong>nur</strong> in der Superposition.</li>
                </ul>
                <p>Ohne ASP1 und ASP2 wäre die Idee, dass Bewusstsein der selbstreflexive Moment der Superposition ist, nicht formalisiert.</p>
            `,
            question_html: `
                <p><strong>Welche Rolle spielen ASP1 und ASP2 für die Superpositions-Intuition?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q10" value="0"> Sie sind überflüssig.</label>
                    <label><input type="radio" name="q10" value="1"> Sie sind wesentlich für die Superpositions-Intuition.</label>
                    <label><input type="radio" name="q10" value="2"> Sie widersprechen A1.</label>
                    <label><input type="radio" name="q10" value="3"> Sie sind identisch mit ASP3.</label>
                    <label><input type="radio" name="q10" value="4"> Sie sind nicht formulierbar.</label>
                    <label><input type="radio" name="q10" value="5"> Sie sind falsch.</label>
                </div>
            `,
            answer: 1
        },
        {
            id: 11,
            title: "Zusammenfassung Teil A",
            part: "Teil A",
            explanation: `
                <div style="background:#e8e0f0; padding:0.8rem 1.2rem; border-radius:8px;">
                    <p style="font-weight:bold; color:#6b4f8a;">Ergebnis von Modul 6:</p>
                    <div class="formula-box important">{ASP3, ASP4, ASP5} ist minimal für □∀xTr(x)</div>
                    <p>ASP1 ist aus ASP2 ableitbar (redundant). Die volle Axiomatik ist minimal für die Superpositions-Intuition.</p>
                    <p>Der Begriff der Minimalität ist <strong>relativ</strong>.</p>
                </div>
            `,
            question_html: `
                <p><strong>Was ist das Fazit von Teil A?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q11" value="0"> Alle Axiome sind unverzichtbar.</label>
                    <label><input type="radio" name="q11" value="1"> Die Minimalität ist relativ zum Ableitungsziel.</label>
                    <label><input type="radio" name="q11" value="2"> S5 ist widersprüchlich.</label>
                    <label><input type="radio" name="q11" value="3"> Die Trinität ist unmöglich.</label>
                    <label><input type="radio" name="q11" value="4"> Die Physik ist irrelevant.</label>
                    <label><input type="radio" name="q11" value="5"> Die Trinität ist eine Illusion.</label>
                </div>
            `,
            answer: 1
        },
        {
            id: 12,
            title: "Übergang zu Teil B",
            part: "Teil A",
            explanation: `
                <p>Modul 6 hat gezeigt: Die Superpositions-Axiome sind minimal in einem relativen Sinn. Offen blieb die Frage:</p>
                <p><strong>Ist die Superpositions-Erweiterung die einzige hinreichende Erweiterung von S5?</strong></p>
                <p>Diese Frage behandelt <strong>Modul 7</strong>.</p>
            `,
            question_html: `
                <p><strong>Welche Frage behandelt Modul 7?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q12" value="0"> Ob die Trinität wahr ist.</label>
                    <label><input type="radio" name="q12" value="1"> Ob die Superpositions-Erweiterung die einzige hinreichende Erweiterung ist.</label>
                    <label><input type="radio" name="q12" value="2"> Ob S5 widersprüchlich ist.</label>
                    <label><input type="radio" name="q12" value="3"> Ob die Physik relevant ist.</label>
                    <label><input type="radio" name="q12" value="4"> Ob Gott existiert.</label>
                    <label><input type="radio" name="q12" value="5"> Ob die Trinität eine Illusion ist.</label>
                </div>
            `,
            answer: 1
        },

        // ============================================================
        //  TEIL B: NICHT-EINDEUTIGKEIT (Modul 7) – Steps 13–21
        // ============================================================
        {
            id: 13,
            title: "TEIL B – Modul 7: Die Nicht-Eindeutigkeit",
            part: "Teil B",
            explanation: `
                <div style="background:#d4e8dd; padding:0.5rem 1rem; border-radius:6px; margin-bottom:1rem;">
                    <span class="part-tag pB">TEIL B</span>
                    <strong>Modul 7</strong>
                </div>
                <p><strong>Frage:</strong> Ist die Superpositions-Erweiterung die einzige hinreichende Erweiterung von S5?</p>
                <p><strong>Antwort:</strong> Nein. Es gibt mindestens drei weitere systematisch verschiedene Erweiterungen:</p>
                <ol>
                    <li><strong>Topologische Erweiterung</strong> (Grenzwert-Axiome)</li>
                    <li><strong>Temporale Erweiterung</strong> (Zeitmodi)</li>
                    <li><strong>Mereologische Erweiterung</strong> (Teil-Ganzes-Axiome)</li>
                </ol>
                <p><strong>Konsequenz:</strong> Die Trinität ist axiomen-invariant.</p>
            `,
            question_html: `
                <p><strong>Was ist die Hauptfrage von Modul 7?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q13" value="0"> Ob die Trinität wahr ist.</label>
                    <label><input type="radio" name="q13" value="1"> Ob die Superpositions-Erweiterung die einzige hinreichende Erweiterung ist.</label>
                    <label><input type="radio" name="q13" value="2"> Ob S5 widersprüchlich ist.</label>
                    <label><input type="radio" name="q13" value="3"> Ob die Physik relevant ist.</label>
                    <label><input type="radio" name="q13" value="4"> Ob Gott existiert.</label>
                    <label><input type="radio" name="q13" value="5"> Ob die Trinität eine Illusion ist.</label>
                </div>
            `,
            answer: 1
        },
        {
            id: 14,
            title: "Topologische Erweiterung",
            part: "Teil B",
            explanation: `
                <p>Die <strong>topologische Erweiterung</strong> verwendet den Begriff <strong>Grenzwert</strong> statt Superposition:</p>
                <div class="formula-box partB">TOP := {TOP1, TOP2, TOP3, TOP4, TOP5}</div>
                <ul>
                    <li>TOP1: Nachbarschaft impliziert Aktualität.</li>
                    <li>TOP2: Grenzwert impliziert Möglichkeit.</li>
                    <li>TOP3: Grenzwert distribuiert über Implikation.</li>
                    <li>TOP4: Nachbarschaft der Trinität → Grenzwert der Trinität.</li>
                    <li>TOP5: Grenzwert der Trinität → Notwendigkeit der Trinität.</li>
                </ul>
                <p><strong>Satz:</strong> <span class="symbol">S5+TOP ⊢ □∀xTr(x)</span>.</p>
            `,
            question_html: `
                <p><strong>Welchen Grundbegriff verwendet die topologische Erweiterung?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q14" value="0"> Urzustand</label>
                    <label><input type="radio" name="q14" value="1"> Grenzwert</label>
                    <label><input type="radio" name="q14" value="2"> Zeit</label>
                    <label><input type="radio" name="q14" value="3"> Teil-Ganzes</label>
                    <label><input type="radio" name="q14" value="4"> Bewusstsein</label>
                    <label><input type="radio" name="q14" value="5"> Möglichkeit</label>
                </div>
            `,
            answer: 1
        },
        {
            id: 15,
            title: "Temporale Erweiterung",
            part: "Teil B",
            explanation: `
                <p>Die <strong>temporale Erweiterung</strong> verwendet den Begriff <strong>Zeit</strong> statt Superposition:</p>
                <div class="formula-box partB">TEMP := {T1, T2, T3, T4}</div>
                <ul>
                    <li>T1: Gegenwart ist real.</li>
                    <li>T2: Vergangenheit ist nicht gegenwärtig.</li>
                    <li>T3: Zeitlosigkeit impliziert Notwendigkeit.</li>
                    <li>T4: Jede Möglichkeit ist temporal verortet.</li>
                </ul>
                <p><strong>Satz:</strong> <span class="symbol">S5+TEMP ⊢ □∀xTr(x)</span>.</p>
                <p><strong>Wichtig:</strong> Die temporale Erweiterung verwendet nur <strong>vier</strong> Axiome — sie ist sparsamer als die Superpositions-Erweiterung.</p>
            `,
            question_html: `
                <p><strong>Welchen Grundbegriff verwendet die temporale Erweiterung?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q15" value="0"> Urzustand</label>
                    <label><input type="radio" name="q15" value="1"> Grenzwert</label>
                    <label><input type="radio" name="q15" value="2"> Zeit</label>
                    <label><input type="radio" name="q15" value="3"> Teil-Ganzes</label>
                    <label><input type="radio" name="q15" value="4"> Bewusstsein</label>
                    <label><input type="radio" name="q15" value="5"> Möglichkeit</label>
                </div>
            `,
            answer: 2
        },
        {
            id: 16,
            title: "Mereologische Erweiterung",
            part: "Teil B",
            explanation: `
                <p>Die <strong>mereologische Erweiterung</strong> verwendet den Begriff <strong>Teil-Ganzes</strong> statt Superposition:</p>
                <div class="formula-box partB">MER := {MER1, MER2, MER3, MER4, MER5}</div>
                <ul>
                    <li>MER1–MER3: Partielle Ordnung (Reflexivität, Antisymmetrie, Transitivität).</li>
                    <li>MER4: Existenz der Summe für jede nicht-leere Eigenschaft.</li>
                    <li>MER5: Alles ist Teil der Summe der trinitarischen Individuen.</li>
                </ul>
                <p><strong>Satz:</strong> <span class="symbol">S5+MER ⊢ □∀xTr(x)</span>.</p>
            `,
            question_html: `
                <p><strong>Welchen Grundbegriff verwendet die mereologische Erweiterung?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q16" value="0"> Urzustand</label>
                    <label><input type="radio" name="q16" value="1"> Grenzwert</label>
                    <label><input type="radio" name="q16" value="2"> Zeit</label>
                    <label><input type="radio" name="q16" value="3"> Teil-Ganzes</label>
                    <label><input type="radio" name="q16" value="4"> Bewusstsein</label>
                    <label><input type="radio" name="q16" value="5"> Möglichkeit</label>
                </div>
            `,
            answer: 3
        },
        {
            id: 17,
            title: "Vergleich der vier Erweiterungen",
            part: "Teil B",
            explanation: `
                <p>Die vier Erweiterungen im Vergleich:</p>
                <table style="width:100%; border-collapse:collapse; margin:1rem 0; font-size:0.9rem;">
                    <tr style="background:#e0d6c8;">
                        <th style="border:1px solid #d4cab8; padding:0.4rem; text-align:left;">Erweiterung</th>
                        <th style="border:1px solid #d4cab8; padding:0.4rem; text-align:left;">Grundbegriff</th>
                        <th style="border:1px solid #d4cab8; padding:0.4rem; text-align:left;">Anzahl Axiome</th>
                    </tr>
                    <tr>
                        <td style="border:1px solid #d4cab8; padding:0.4rem;">Superposition</td>
                        <td style="border:1px solid #d4cab8; padding:0.4rem;">Urzustand</td>
                        <td style="border:1px solid #d4cab8; padding:0.4rem;">5</td>
                    </tr>
                    <tr>
                        <td style="border:1px solid #d4cab8; padding:0.4rem;">Topologie</td>
                        <td style="border:1px solid #d4cab8; padding:0.4rem;">Grenzwert</td>
                        <td style="border:1px solid #d4cab8; padding:0.4rem;">5</td>
                    </tr>
                    <tr>
                        <td style="border:1px solid #d4cab8; padding:0.4rem;">Temporalität</td>
                        <td style="border:1px solid #d4cab8; padding:0.4rem;">Zeit</td>
                        <td style="border:1px solid #d4cab8; padding:0.4rem;">4</td>
                    </tr>
                    <tr>
                        <td style="border:1px solid #d4cab8; padding:0.4rem;">Mereologie</td>
                        <td style="border:1px solid #d4cab8; padding:0.4rem;">Teil-Ganzes</td>
                        <td style="border:1px solid #d4cab8; padding:0.4rem;">5</td>
                    </tr>
                </table>
                <p>Alle vier leiten die Trinität ab — auf strukturell verschiedene Weise.</p>
            `,
            question_html: `
                <p><strong>Welche Erweiterung ist axiomatisch am sparsamsten?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q17" value="0"> Superposition</label>
                    <label><input type="radio" name="q17" value="1"> Topologie</label>
                    <label><input type="radio" name="q17" value="2"> Temporalität</label>
                    <label><input type="radio" name="q17" value="3"> Mereologie</label>
                    <label><input type="radio" name="q17" value="4"> Alle gleich</label>
                    <label><input type="radio" name="q17" value="5"> Keine</label>
                </div>
            `,
            answer: 2
        },
        {
            id: 18,
            title: "Die Trinität ist axiomen-invariant",
            part: "Teil B",
            explanation: `
                <p><strong>Hauptergebnis von Modul 7:</strong></p>
                <div class="formula-box partB important">Die Trinität folgt aus mindestens vier systematisch verschiedenen Erweiterungen von S5.</div>
                <p>Das bedeutet:</p>
                <ul>
                    <li>Die Trinitätsstruktur ist <strong>nicht</strong> an eine bestimmte metaphysische Sprache gebunden.</li>
                    <li>Sie ist <strong>robust</strong> gegenüber der Wahl der Erweiterung.</li>
                    <li>Was bleibt, ist die <strong>Notwendigkeit einer Zusatzstruktur überhaupt</strong>.</li>
                </ul>
            `,
            question_html: `
                <p><strong>Was ist das Hauptergebnis von Modul 7?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q18" value="0"> Die Trinität ist unmöglich.</label>
                    <label><input type="radio" name="q18" value="1"> Die Trinität ist axiomen-invariant.</label>
                    <label><input type="radio" name="q18" value="2"> S5 ist widersprüchlich.</label>
                    <label><input type="radio" name="q18" value="3"> Die Physik ist irrelevant.</label>
                    <label><input type="radio" name="q18" value="4"> Gott existiert nicht.</label>
                    <label><input type="radio" name="q18" value="5"> Die Trinität ist eine Illusion.</label>
                </div>
            `,
            answer: 1
        },
        {
            id: 19,
            title: "Was folgt daraus?",
            part: "Teil B",
            explanation: `
                <p>Aus der Axiomen-Invarianz folgt:</p>
                <ul>
                    <li><strong>Die Wahl der Erweiterung ist nicht durch die Zielaussage determiniert.</strong> Sie ist eine metaphysische, physikalische oder hermeneutische Frage.</li>
                    <li><strong>Die Metalogik zeigt nur die Abhängigkeiten.</strong> Sie zeigt nicht, welche Erweiterung die richtige ist.</li>
                    <li><strong>Wir stehen am Anfang der Unendlichkeit.</strong> Es könnte weitere Erweiterungen geben.</li>
                </ul>
            `,
            question_html: `
                <p><strong>Was folgt aus der Axiomen-Invarianz?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q19" value="0"> Die Trinität ist unmöglich.</label>
                    <label><input type="radio" name="q19" value="1"> Die Wahl der Erweiterung ist eine metaphysische Frage, nicht eine metalogische.</label>
                    <label><input type="radio" name="q19" value="2"> S5 ist widersprüchlich.</label>
                    <label><input type="radio" name="q19" value="3"> Die Physik ist irrelevant.</label>
                    <label><input type="radio" name="q19" value="4"> Gott existiert nicht.</label>
                    <label><input type="radio" name="q19" value="5"> Die Trinität ist eine Illusion.</label>
                </div>
            `,
            answer: 1
        },
        {
            id: 20,
            title: "Zusammenfassung Teil B",
            part: "Teil B",
            explanation: `
                <div style="background:#d4e8dd; padding:0.8rem 1.2rem; border-radius:8px;">
                    <p style="font-weight:bold; color:#2a6b4f;">Ergebnis von Modul 7:</p>
                    <div class="formula-box partB important">Die Trinität ist axiomen-invariant.</div>
                    <p>Es gibt mindestens vier systematisch verschiedene Erweiterungen von S5, die die Trinität ableiten.</p>
                    <p>Die Wahl der Erweiterung ist keine metalogische Frage.</p>
                </div>
            `,
            question_html: `
                <p><strong>Was ist das Fazit von Teil B?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q20" value="0"> Die Trinität ist unmöglich.</label>
                    <label><input type="radio" name="q20" value="1"> Die Trinität ist axiomen-invariant.</label>
                    <label><input type="radio" name="q20" value="2"> S5 ist widersprüchlich.</label>
                    <label><input type="radio" name="q20" value="3"> Die Physik ist irrelevant.</label>
                    <label><input type="radio" name="q20" value="4"> Gott existiert nicht.</label>
                    <label><input type="radio" name="q20" value="5"> Die Trinität ist eine Illusion.</label>
                </div>
            `,
            answer: 1
        },
        {
            id: 21,
            title: "Übergang zu Teil C",
            part: "Teil B",
            explanation: `
                <p>Modul 7 hat gezeigt: Die Trinität ist axiomen-invariant. Offen blieb die Frage:</p>
                <p><strong>Wie lässt sich der Grenzwertbegriff aus modal5.md präzise fassen?</strong></p>
                <p>Diese Frage behandelt <strong>Modul 8</strong>.</p>
            `,
            question_html: `
                <p><strong>Welche Frage behandelt Modul 8?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q21" value="0"> Ob die Trinität wahr ist.</label>
                    <label><input type="radio" name="q21" value="1"> Wie der Grenzwertbegriff präzise gefasst werden kann.</label>
                    <label><input type="radio" name="q21" value="2"> Ob S5 widersprüchlich ist.</label>
                    <label><input type="radio" name="q21" value="3"> Ob die Physik relevant ist.</label>
                    <label><input type="radio" name="q21" value="4"> Ob Gott existiert.</label>
                    <label><input type="radio" name="q21" value="5"> Ob die Trinität eine Illusion ist.</label>
                </div>
            `,
            answer: 1
        },

        // ============================================================
        //  TEIL C: GRENZWERT-MODALLOGIK (Modul 8) – Steps 22–29
        // ============================================================
        {
            id: 22,
            title: "TEIL C – Modul 8: Die Trinität als Grenzwert",
            part: "Teil C",
            explanation: `
                <div style="background:#f5e0d0; padding:0.5rem 1rem; border-radius:6px; margin-bottom:1rem;">
                    <span class="part-tag pC">TEIL C</span>
                    <strong>Modul 8</strong>
                </div>
                <p><strong>Frage:</strong> Wie lässt sich die informal gebliebene Grenzwertdefinition aus modal5.md präzise fassen?</p>
                <p><strong>Antwort:</strong> Durch eine topologische Modallogik mit einem Grenzwertoperator <span class="symbol">ℒ</span>.</p>
                <p><strong>Methode:</strong> Nachbarschaftssemantik, Konvergenz, Grenzoperatoren.</p>
            `,
            question_html: `
                <p><strong>Was ist die Hauptfrage von Modul 8?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q22" value="0"> Ob die Trinität wahr ist.</label>
                    <label><input type="radio" name="q22" value="1"> Wie der Grenzwertbegriff präzise gefasst werden kann.</label>
                    <label><input type="radio" name="q22" value="2"> Ob S5 widersprüchlich ist.</label>
                    <label><input type="radio" name="q22" value="3"> Ob die Physik relevant ist.</label>
                    <label><input type="radio" name="q22" value="4"> Ob Gott existiert.</label>
                    <label><input type="radio" name="q22" value="5"> Ob die Trinität eine Illusion ist.</label>
                </div>
            `,
            answer: 1
        },
        {
            id: 23,
            title: "Die informal gebliebene Definition",
            part: "Teil C",
            explanation: `
                <p>In modal5.md stehen die Definitionen:</p>
                <div class="formula-box">T := { x | U &lt; x &lt; S }</div>
                <div class="formula-box">U := lim<sub>x → inf</sub> T</div>
                <div class="formula-box">S := lim<sub>x → sup</sub> T</div>
                <p>Diese Definitionen sind <strong>informal</strong>. Sie verwenden einen metrischen Grenzwertbegriff, der in der Modallogik erster Stufe nicht ohne Weiteres verfügbar ist.</p>
            `,
            question_html: `
                <p><strong>Warum sind die Definitionen aus modal5.md informal?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q23" value="0"> Weil sie falsch sind.</label>
                    <label><input type="radio" name="q23" value="1"> Weil sie einen metrischen Grenzwertbegriff verwenden, der in der Modallogik nicht selbstverständlich ist.</label>
                    <label><input type="radio" name="q23" value="2"> Weil sie zu lang sind.</label>
                    <label><input type="radio" name="q23" value="3"> Weil sie A1 widersprechen.</label>
                    <label><input type="radio" name="q23" value="4"> Weil sie keine Axiome sind.</label>
                    <label><input type="radio" name="q23" value="5"> Weil sie zu kurz sind.</label>
                </div>
            `,
            answer: 1
        },
        {
            id: 24,
            title: "Topologische Modallogik: Nachbarschaftssemantik",
            part: "Teil C",
            explanation: `
                <p>Die <strong>Nachbarschaftssemantik</strong> ist eine Verallgemeinerung der Kripke-Semantik. Statt einer Zugänglichkeitsrelation R verwendet sie eine <strong>Nachbarschaftsfunktion</strong> N:</p>
                <div class="formula-box partC">N : W → 𝒫(𝒫(W))</div>
                <p>N(w) ist die Menge der <strong>Nachbarschaften</strong> von w. Eine Nachbarschaft von w ist eine Menge von Welten, die w "umgibt".</p>
                <p>Der Nachbarschaftsoperator <span class="symbol">𝒩</span> wird definiert durch:</p>
                <div class="formula-box partC">𝒩p @ w ⟺ { v | p @ v } ∈ N(w)</div>
            `,
            question_html: `
                <p><strong>Was ist die Nachbarschaftsfunktion N?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q24" value="0"> Eine Zugänglichkeitsrelation.</label>
                    <label><input type="radio" name="q24" value="1"> Eine Funktion, die jeder Welt eine Menge von Nachbarschaften zuordnet.</label>
                    <label><input type="radio" name="q24" value="2"> Eine Menge von Welten.</label>
                    <label><input type="radio" name="q24" value="3"> Eine Formel.</label>
                    <label><input type="radio" name="q24" value="4"> Eine Wahrheitsfunktion.</label>
                    <label><input type="radio" name="q24" value="5"> Eine Variable.</label>
                </div>
            `,
            answer: 1
        },
        {
            id: 25,
            title: "Der Grenzwertoperator ℒ",
            part: "Teil C",
            explanation: `
                <p>Der <strong>Grenzwertoperator</strong> <span class="symbol">ℒ</span> wird definiert durch:</p>
                <div class="formula-box partC">ℒp @ w ⟺ es gibt eine Folge (w<sub>n</sub>) → w mit p @ w<sub>n</sub> für fast alle n</div>
                <p>Wir unterscheiden zwei Varianten:</p>
                <ul>
                    <li><span class="symbol">ℒ<sub>inf</sub></span>: unterer Grenzwert (monoton fallende Folge).</li>
                    <li><span class="symbol">ℒ<sub>sup</sub></span>: oberer Grenzwert (monoton steigende Folge).</li>
                </ul>
            `,
            question_html: `
                <p><strong>Was bedeutet ℒp @ w?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q25" value="0"> p gilt in w.</label>
                    <label><input type="radio" name="q25" value="1"> p gilt im Grenzwert einer Folge, die gegen w konvergiert.</label>
                    <label><input type="radio" name="q25" value="2"> p ist notwendig.</label>
                    <label><input type="radio" name="q25" value="3"> p ist unmöglich.</label>
                    <label><input type="radio" name="q25" value="4"> p ist zufällig.</label>
                    <label><input type="radio" name="q25" value="5"> p ist falsch.</label>
                </div>
            `,
            answer: 1
        },
        {
            id: 26,
            title: "Die Grenzwert-Axiome",
            part: "Teil C",
            explanation: `
                <p>Die Axiome für <span class="symbol">ℒ</span>:</p>
                <div class="formula-box partC">L := {L1, L2, L3, L4, L5, L6, L7}</div>
                <ul>
                    <li>L1, L2: Grenzwerte sind möglich.</li>
                    <li>L3, L4: Grenzwert-Operatoren distribuieren über Implikation.</li>
                    <li>L5, L6: Grenzwerte implizieren Nachbarschaft.</li>
                    <li>L7: Nachbarschaft impliziert Aktualität.</li>
                </ul>
            `,
            question_html: `
                <p><strong>Was besagt Axiom L7?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q26" value="0"> Grenzwert impliziert Möglichkeit.</label>
                    <label><input type="radio" name="q26" value="1"> Nachbarschaft impliziert Aktualität.</label>
                    <label><input type="radio" name="q26" value="2"> Grenzwert impliziert Notwendigkeit.</label>
                    <label><input type="radio" name="q26" value="3"> Nachbarschaft ist unmöglich.</label>
                    <label><input type="radio" name="q26" value="4"> Grenzwert ist falsch.</label>
                    <label><input type="radio" name="q26" value="5"> Nachbarschaft ist dasselbe wie Notwendigkeit.</label>
                </div>
            `,
            answer: 1
        },
        {
            id: 27,
            title: "Rekonstruktion von U und S",
            part: "Teil C",
            explanation: `
                <p>Die informal gebliebenen Definitionen werden präzise gefasst:</p>
                <div class="formula-box partC important">U := ℒ<sub>inf</sub> T</div>
                <div class="formula-box partC important">S := ℒ<sub>sup</sub> T</div>
                <p><strong>Bedeutung:</strong> U ist der untere Grenzwert der Totalität. S ist der obere Grenzwert. Beide sind <strong>keine Elemente</strong> von T, sondern Grenzwerte im Sinne von ℒ.</p>
            `,
            question_html: `
                <p><strong>Wie werden U und S in Modul 8 definiert?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q27" value="0"> U := lim<sub>x → inf</sub> T, S := lim<sub>x → sup</sub> T (metrisch)</label>
                    <label><input type="radio" name="q27" value="1"> U := ℒ<sub>inf</sub> T, S := ℒ<sub>sup</sub> T (topologisch)</label>
                    <label><input type="radio" name="q27" value="2"> U := T, S := T</label>
                    <label><input type="radio" name="q27" value="3"> U := ∅, S := ∅</label>
                    <label><input type="radio" name="q27" value="4"> U := □T, S := ◇T</label>
                    <label><input type="radio" name="q27" value="5"> U := ASP1, S := ASP5</label>
                </div>
            `,
            answer: 1
        },
        {
            id: 28,
            title: "Beweis der Trinität in S5+SP+ℒ",
            part: "Teil C",
            explanation: `
                <p><strong>Satz L-A:</strong> In S5+SP+ℒ gilt <span class="symbol">□∀xTr(x)</span>.</p>
                <p><strong>Beweisidee:</strong></p>
                <ol>
                    <li>Aus ASP3 folgt: Tr gilt in w<sub>super</sub>.</li>
                    <li>Aus der Grenzwertdefinition folgt: ℒ<sub>inf</sub> T @ w<sub>super</sub> und ℒ<sub>sup</sub> T @ w<sub>super</sub>.</li>
                    <li>Aus L5, L6, L7 folgt: T @ w<sub>super</sub>.</li>
                    <li>Also: U ∧ T ∧ S @ w<sub>super</sub>.</li>
                    <li>Da w<sub>super</sub> zu allen Welten zugänglich ist, gilt Tr in allen Welten.</li>
                </ol>
            `,
            question_html: `
                <p><strong>Was ist das Hauptergebnis von Modul 8?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q28" value="0"> Die Trinität ist unmöglich.</label>
                    <label><input type="radio" name="q28" value="1"> In S5+SP+ℒ gilt □∀xTr(x).</label>
                    <label><input type="radio" name="q28" value="2"> S5 ist widersprüchlich.</label>
                    <label><input type="radio" name="q28" value="3"> Die Physik ist irrelevant.</label>
                    <label><input type="radio" name="q28" value="4"> Gott existiert nicht.</label>
                    <label><input type="radio" name="q28" value="5"> Die Trinität ist eine Illusion.</label>
                </div>
            `,
            answer: 1
        },
        {
            id: 29,
            title: "Abschluss: Die axiomatische Struktur der Trinität",
            part: "Teil C",
            explanation: `
                <p><strong>Zusammenfassung Bündel 1:</strong></p>
                <ol>
                    <li><strong>Modul 6:</strong> Die Superpositions-Axiome sind minimal in einem relativen Sinn — {ASP3, ASP4, ASP5} ist minimal für die Zielaussage.</li>
                    <li><strong>Modul 7:</strong> Die Trinität ist axiomen-invariant — sie folgt aus mindestens vier systematisch verschiedenen Erweiterungen von S5.</li>
                    <li><strong>Modul 8:</strong> Die informal gebliebene Grenzwertdefinition kann durch den Operator ℒ präzise gefasst werden.</li>
                </ol>
                <div class="formula-box important" style="font-size:1.1rem;">
                    Die axiomatische Struktur der Trinität ist <strong>robust</strong>, <strong>relativ</strong> und <strong>präzisierbar</strong>.
                </div>
                <p style="margin-top:1rem; text-align:center; font-style:italic; color:#555;">
                    Die formale Arbeit hat ihr Werk getan — sie hat gezeigt, was zeigbar ist. Was bleibt, ist die Anerkennung der Grenze.
                </p>
            `,
            question_html: `
                <p><strong>Was ist das Fazit von Bündel 1?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q29" value="0"> Die Trinität ist unmöglich.</label>
                    <label><input type="radio" name="q29" value="1"> Die axiomatische Struktur der Trinität ist robust, relativ und präzisierbar.</label>
                    <label><input type="radio" name="q29" value="2"> S5 ist widersprüchlich.</label>
                    <label><input type="radio" name="q29" value="3"> Die Physik ist irrelevant.</label>
                    <label><input type="radio" name="q29" value="4"> Gott existiert nicht.</label>
                    <label><input type="radio" name="q29" value="5"> Die Trinität ist eine Illusion.</label>
                </div>
            `,
            answer: 1
        }
    ];

    // ================================================================
    //  LOGIC
    // ================================================================

    let currentStep = 0;
    const totalSteps = steps.length;
    const stepContainer = document.getElementById('stepContainer');
    const prevBtn = document.getElementById('prevBtn');
    const nextBtn = document.getElementById('nextBtn');
    const stepIndicator = document.getElementById('stepIndicator');
    const progressFill = document.getElementById('progressFill');
    const progressText = document.getElementById('progressText');

    let stepCompleted = new Array(totalSteps).fill(false);

    function renderStep(index) {
        const step = steps[index];
        if (!step) return;

        const partClass = step.part === 'Teil A' ? 'partA' :
                         step.part === 'Teil B' ? 'partB' :
                         step.part === 'Teil C' ? 'partC' : '';

        let html = `
            <div class="step-block ${partClass}">
                <div class="step-number ${partClass}">Schritt ${index} von ${totalSteps-1} – ${step.part}</div>
                <div class="step-title">${step.title}</div>
                <div class="step-explanation">${step.explanation}</div>
                <div class="question-box" id="questionBox${index}">
                    ${step.question_html}
                    <button class="qsubmit" data-step="${index}">Antwort prüfen</button>
                    <div class="qfeedback" id="feedback${index}"></div>
                </div>
            </div>
        `;

        stepContainer.innerHTML = html;

        const submitBtn = document.querySelector(`.qsubmit[data-step="${index}"]`);
        if (submitBtn) {
            submitBtn.addEventListener('click', function(e) {
                checkAnswer(index);
            });
        }

        const questionBox = document.getElementById(`questionBox${index}`);
        if (questionBox) {
            const radioInputs = questionBox.querySelectorAll('input[type="radio"]');
            radioInputs.forEach(input => {
                input.addEventListener('keydown', function(e) {
                    if (e.key === 'Enter') {
                        e.preventDefault();
                        checkAnswer(index);
                    }
                });
            });
        }

        updateNav(index);
        updateProgress(index);

        if (stepCompleted[index]) {
            const feedback = document.getElementById(`feedback${index}`);
            if (feedback) {
                feedback.className = 'qfeedback correct';
                feedback.textContent = '✅ Richtig! Sie haben diesen Schritt bereits abgeschlossen.';
                feedback.style.display = 'block';
            }
            const submitBtn2 = document.querySelector(`.qsubmit[data-step="${index}"]`);
            if (submitBtn2) submitBtn2.disabled = true;
        }

        document.querySelector('.step-block').scrollIntoView({ behavior: 'smooth', block: 'start' });
    }

    function checkAnswer(index) {
        if (stepCompleted[index]) return;

        const step = steps[index];
        const questionBox = document.getElementById(`questionBox${index}`);
        const feedback = document.getElementById(`feedback${index}`);

        const selected = questionBox.querySelector('input[type="radio"]:checked');
        if (!selected) {
            feedback.className = 'qfeedback wrong';
            feedback.textContent = '❌ Bitte wählen Sie eine Antwort aus.';
            feedback.style.display = 'block';
            return;
        }

        const userAnswer = parseInt(selected.value);
        const isCorrect = (userAnswer === step.answer);

        if (isCorrect) {
            feedback.className = 'qfeedback correct';
            feedback.textContent = '✅ Richtig! Sie können zum nächsten Schritt gehen.';
            feedback.style.display = 'block';
            stepCompleted[index] = true;

            const submitBtn = questionBox.querySelector('.qsubmit');
            if (submitBtn) submitBtn.disabled = true;

            const radios = questionBox.querySelectorAll('input[type="radio"]');
            radios.forEach(r => r.disabled = true);

            updateNav(index);
            updateProgress(index);

            if (stepCompleted.every(v => v === true)) {
                setTimeout(() => {
                    alert('🎉 Herzlichen Glückwunsch! Sie haben Bündel 1 erfolgreich abgeschlossen!');
                }, 400);
            }

        } else {
            feedback.className = 'qfeedback wrong';
            feedback.textContent = '❌ Falsch. Bitte lesen Sie den Schritt noch einmal und versuchen Sie es erneut.';
            feedback.style.display = 'block';
        }
    }

    function updateNav(index) {
        if (index > 0) {
            prevBtn.className = '';
            prevBtn.style.pointerEvents = 'auto';
            prevBtn.style.opacity = '1';
        } else {
            prevBtn.className = 'disabled';
            prevBtn.style.pointerEvents = 'none';
            prevBtn.style.opacity = '0.5';
        }

        if (index < totalSteps - 1 && stepCompleted[index]) {
            nextBtn.className = '';
            nextBtn.style.pointerEvents = 'auto';
            nextBtn.style.opacity = '1';
            nextBtn.textContent = 'Weiter →';
        } else if (index === totalSteps - 1 && stepCompleted[index]) {
            nextBtn.className = '';
            nextBtn.style.pointerEvents = 'auto';
            nextBtn.style.opacity = '1';
            nextBtn.textContent = '🎉 Fertig – zurück zur Einstiegsseite';
            nextBtn.href = 'modal.html?lang=de';
        } else {
            nextBtn.className = 'disabled';
            nextBtn.style.pointerEvents = 'none';
            nextBtn.style.opacity = '0.5';
            if (index === totalSteps - 1) {
                nextBtn.textContent = '🎉 Abschluss – alle Schritte abschließen';
            } else {
                nextBtn.textContent = 'Weiter → (bitte zuerst die Frage beantworten)';
            }
        }

        stepIndicator.textContent = `${index} / ${totalSteps-1}`;
    }

    function updateProgress(index) {
        const completedCount = stepCompleted.filter(v => v === true).length;
        const percent = (completedCount / totalSteps) * 100;
        progressFill.style.width = `${percent}%`;
        progressText.textContent = `Schritt ${index} von ${totalSteps-1} – ${completedCount}/${totalSteps} abgeschlossen`;
    }

    prevBtn.addEventListener('click', function(e) {
        e.preventDefault();
        if (currentStep > 0) {
            currentStep--;
            renderStep(currentStep);
        }
    });

    nextBtn.addEventListener('click', function(e) {
        e.preventDefault();
        if (currentStep < totalSteps - 1 && stepCompleted[currentStep]) {
            currentStep++;
            renderStep(currentStep);
        } else if (currentStep === totalSteps - 1 && stepCompleted[currentStep]) {
            window.location.href = 'modal.html?lang=de';
        }
    });

    renderStep(0);
</script>

</body>
</html>