(0)(1,1,1,……)=(0)(1,(2))
(0)(1,(2))(2,2,2,……)=(0)(1,(2))(2,(3))
(0)(1,(2),1)=(0)(1,(2))(2,(3))(3,(4))……
(0)(1,(2),1,(2))=(0)(1,(2),1,1,1,……)
(0)(1,(2),2)=(0)(1,(2),1,(2),1,(2),……)
(0)(1,(2),2)
(0)(1,(2),2,2,2,……)=(0)(1,(2),2,(3))
(0)(1,(2),2,(3),3,(4))
(0)(1,(2,0))=(0)(1,(2),2,(3),3,(4),……)
(0)(1,(2,1))=α→(0)(1,(2,α))
(0)(1,(2,(3)))
(0)(1,,2)=(0)(1,(2,(3,(……))))
(0)(1,,2,2,,3)=(0)(1,,2,2,(3,(4,(……))))
(0)(1,,2,,2)=(0)(1,,2,2,,3,3,,4,……)
(0)(1,,2,3)=(0)(1,,2,,2,,2,,2,,……)
(0)(1,,2,,3)=(0)(1,,2,3,(4,,5,6,(7,,8,9,(10,……))))
(0)(1,,,2)=(0)(1,,2,,3,,4,……)
(0)(1,,,,2)=(0)(1,,,2,,,3,,,4……)
(0)(1,,,……,,2)，感觉到不了Y(1343)