Li-Fan Chen
says to
YSITD
好反正我們剛剛用邏輯系統把整個自然數ㄉ公理定義完ㄌ