Li-Fan Chen
says to
YSITD
我們可以想像自然數是遞迴定義的