Li-Fan Chen
says to
YSITD
自然數是0 跟 (1+自然數) 構成ㄉ