不甚明了

來源: 2023-12-01 10:16:01 [舊帖] [給我悄悄話] 本文已被閱讀:

你前麵關於邏輯一階高階,也不是十分明了

但你的表示方式跟我對Godel證明的理解相似