Im klassischen Papier der Konstruktionsrechnung gibt es eine Regel, die besagt
(Seite 7 des PDF, Seite 101 des Originaldokuments)
Diese Regel würde bedeuten, dass jeder Kontext auf ein Mitglied dieses Kontexts reduziert werden kann. Dies scheint nicht korrekt zu sein, wie es bedeuten würde
1 ≅ Nat
3 ≅ Nat
1 ≅ 3
wenn Nat ein Kontext ist.
Ich denke, die beste Interpretation ist, dass das untere Delta ein M sein sollte. Insbesondere unter Berücksichtigung der Regeln auf der nächsten Seite.
Ist das also einfach ein Tippfehler oder eine subtile logische Regel, die ich nicht verstehe?