0 ∈ ℕ