ein möglicher Vorschlag: Definiere eine Abbildung \(p:\mathbb N_0\to\mathbb N\) durch$$n\mapsto\left\{\begin{array}{ll}\text{Anzahl der Teiler von }n,&\text{falls }n>0\\1,&\text{falls }n=0,\end{array}\right.$$sowie eine Relation \(\thicksim\) vermöge \(n\thicksim m\Leftrightarrow p(n)=p(m)\).