Leider hängt das Ergebnis dieser Aufgabe wesentlich von der Definition des Kürzels \(\mathbb{N}\) ab. Dürfen wir annehmen, dass \(0\in\mathbb{N}\) ist, dann gilt wegen \(n\cdot 0 = 0\) offenbar \(n|0\) für alle \(n\in\mathbb{N}\), so dass \(\mathbb{N} = T_0\) ist.