Since we're picking all the nits and talking about definitions like the natural numbers rather than common parlance, then may I observe that sequential lists ar

Since we're picking all the nits and talking about definitions like the natural numbers rather than common parlance, then may I observe that sequential lists are using ordinal numbers, and the set of ordinals derived from natural numbers definitely does start with zero, in this case it being the minimum element of the ordinals of non-zero cardinality.