Title: The natural numbers