2 = { φ, { φ} }

この自然数の作り方と順序対 { x , { x , y } } = ( x , y ) はなんか気に入ってる