自然數的集合論定義

已經提出了多種使用集合論定義自然數的方式 。