ich habe folgende Aufgabe:
Mein Ansatz wäre jetzt:
$$Ist\quad { M }_{ 1 }\quad \vdash \quad F\quad so\quad existiert\quad eine\quad Menge\quad { M }_{ 2 }\quad \subseteq \quad { M }_{ 1 }\quad mit\quad { M }_{ 2 }\quad \vdash \quad F$$
Also der syntaktische Endlichkeitssatz.
Aber wie zeige ich das ganze jetzt?