约翰·冯·诺伊曼
在 ZFC 和有关理论中，自然数的集合论定义是约翰·冯·诺伊曼的序数定义: