約克 王 says to YSITD
自然數是整數且自然數不是所有整數