Es sei M ⊆ N {\displaystyle {}M\subseteq \mathbb {N} } die Menge aller Telefonnummern in einer Stadt. Besitzt die Nachfolgerfunktion auf dieser Menge eine sinnvolle Interpretation?
