Repräsentierungen/Gerade Zahlen/Stark/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

$\phi =\mathrm{\exists }y(x=y+y)\to \mathrm{\forall }z\mathrm{\neg }(x+1=z+z)$

und

$\Delta =\Gamma \cup \{\phi \}.$

Es sei

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

Zeige, dass $T$ durch $\psi$ in $\Delta$ repräsentiert wird.

Eine Lösung erstellen