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

${}\varphi =\exists y(x=y+y)\rightarrow \forall z\neg (x+1=z+z)\,$

und

${}\Delta =\Gamma \cup \{\varphi \}\,.$

Es sei

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

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

Eine Lösung erstellen