Li-Fan Chen
says to
YSITD
我們先來定義自然數