Li-Fan Chen
says to
YSITD
序數的話就是皮亞諾公設那套