Repräsentierungen/Gerade Zahlen/Schwach/Aufgabe

Es sei

${}T=\mathbb {N} 2\subseteq \mathbb {N} \,$

die Menge der geraden natürlichen Zahlen. Es sei ${}\Gamma$ die Ausdrucksmenge, die besagt, dass ${}+$ eine assoziative, kommutative Verknüpfung mit ${}0$ als neutralem Element ist. Es sei

${}\psi =\exists y(x=y+y)\,.$

Zeige, dass ${}T$ durch ${}\psi$ in ${}\Gamma$ schwach repräsentiert wird, aber nicht stark.

Zur Lösung, Alternative Lösung erstellen