不甚明了
來源:
JSL2023
於
2023-12-01 10:16:01
[
舊帖
] [
給我悄悄話
] 本文已被閱讀:次
你前麵關於邏輯一階高階,也不是十分明了
但你的表示方式跟我對Godel證明的理解相似