Li-Fan Chen
says to
YSITD
「自然數是整數的子集」這個句子有提到大於0ㄇ