Kurs:Einführung in die mathematische Logik (Osnabrück 2021)/Forum

Definition 4.1

In Definition 4.1 steht "Gamma^\vdash" (Gamma ausgeschrieben), müsste es nicht "\Gamma^\vdash" heißen?

Blatt 9, Aufgabe 19

Hallo, bei 9.19 fehlt eine Klammer.

Satz 12.2

Muss es hier nicht "für alle $n\in N$" heißen, statt "für alle $n\in \mathbb{N}$"?