https://guijiagi.com/tags/%E8%A8%80%E8%AF%AD%E9%81%93%E6%96%AD/Recent content in 言语道断 on AI 实战派 · 从技术到赚钱Hugozh-cn本站内容采用 CC BY-NC-SA 4.0 国际许可协议授权Tue, 20 Oct 2026 14:00:00 +0800https://guijiagi.com/posts/2026-10-20-20-formal-boundary-outside-leap-ineffable/Tue, 20 Oct 2026 14:00:00 +0800https://guijiagi.com/posts/2026-10-20-20-formal-boundary-outside-leap-ineffable/形式系统内部无法自证完备与自洽，超出框架的部分需要一次从外部获得的跳跃，悟与此相邻