Zwei Welten und ihre Brücken
Wähle einen Startpunkt und schick ihn über die Brücken. Bei jeder Zahl siehst du dann, woher sie kommt: Wert, Nummer oder Element einer ausgedrückten Menge.
Ein Begriff, drei Fassungen, drei Brücken
Jeder syntaktische Begriff kommt dreimal vor: über Ausdrücke, über Zahlen, als Formel. Die Brücken dazwischen sind Sätze, und nicht jede hält.
PA über PA: der Turm
Jede Etage wickelt die Formel darunter in ProvPA(⌜…⌝) ein. Die Formel darunter steht dann nicht mehr wörtlich da, nur noch das Numeral ihrer Nummer.
Formel-Lupe
Fahr über jeden Teil einer Formel, oder wandere mit ← → durch die Teile und mit ↑ ↓ durch die Formeln. Rahmen zeigen, was erwähnt wird, die Zahl im Rahmen die Tiefe.
Was ist das?
Bestimme, wofür der Ausdruck steht. Ohne Farben und Rahmen, so wie in einem Buch. Falsch beantwortete Karten kommen bald wieder.
Lexikon
Alle Zeichen mit Welt und Sprache, dazu die häufigsten Verwechslungen und vier Fragen für jede neue Formel.
Verwechslungspaare
Vier Fragen an jede Formel
Beweise Schritt für Schritt
Erst der Satz, dann der Beweis zum Durchklicken (← →). Jeder Schritt sagt, womit er begründet ist und ob er in der Theorie oder außen passiert. Fahr über die Teile einer Formel für ihren Steckbrief. Wie die Sätze zusammenhängen, zeigt die Landkarte (8).
Landkarte der Beweise
Welcher Satz stützt sich auf welchen? Klick einen Satz an: Blau leuchtet auf, was er braucht, orange, wofür er gebraucht wird. Sätze mit ▶ haben einen Beweis zum Durchklicken; ein zweiter Klick führt hinein.