Primzahlen

Formalisiere, für natürliche Zahlen $n$, $m$, "$n$ teilt $m$", in Zeichen "$n \mid m$". Nutze diese Definition um zu formalisieren "$p$ ist Primzahl" und diese dann für "es gibt unendlich viele Primzahlen".