Li-Fan Chen says to YSITD
你只能把自然語言當作 meta language 來定義一些沒辦法被拆分的概念