Li-Fan Chen
says to
YSITD
正整數 -> 整數 -> 有理數 -> 實數 -> 複數