今回出てきた自然数の公理系はペアノの公理系と呼ばれているけど
ペアノが最初に示したときの公理系では自然数は1から始まるようになっていて、0は含まれていなかった
後に0を含むように変えられたけど、その変更をしたのがペアノ自身か他の人かは知らない

番組の中でペアノの論文の自然数が1から始まることが書かれている部分が映されていたけど
説明は(自然)数が0から始まるというものになっていた