Dann geht die Definition logisch so: Ein natürliche Zahl ist eine Element einer abzählbaren Menge... Und eine abzählbare Menge ist isomorph zu der Menge der natürlichen Zahlen.. Ein klassische Ringdefinition. Ich hab aber grad keine Lust da irgendwas zu verbessern Unyxos 23:14, 22. Aug 2004 (CEST)