Es sei

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

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

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

Zeige, dass ${\displaystyle {}T}$ durch ${\displaystyle {}\psi }$ in ${\displaystyle {}\Gamma }$ schwach repräsentiert