0 Daumen
292 Aufrufe


ich habe folgende Aufgabe:

Bild Mathematik

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?

Avatar von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community