User blog comment:Rpakr/A Formal Definition of Pair Sequence System using BM1 Rules/@comment-25337554-20180814232242/@comment-25337554-20180815211616

>mathbb N is natural numbers

Does it include zero? It's not explicitly written.