James58899
says to
YSITD
我覺得你可以開始定義自然數了