https://en.wikipedia.org/wiki/Set-theoretic_definition_of_natural_numbers#Definition_as_von_Neumann_ordinals https://en.wikipedia.org/wiki/Natural_number#Von_Neumann_ordinals von Neumannによる自然数の構成は算術の公理―数学の探究に載ってそう…