@misc{aihist_godel-1931,
  title        = {{哥德尔发表不完备定理，划定形式系统的边界}}
  author       = {{AI 纪年}}
  date         = {1931}
  year         = {1931}
  howpublished = {\url{https://aihist.net/e/godel-1931.html}}
  url          = {https://aihist.net/e/godel-1931.html}
  urldate      = {2026-11-03}
  language     = {zh-CN}
  keywords     = {算法, 科学, 数学, 编程}
  abstract     = {哥德尔证明任何足够强的形式系统都存在无法在系统内证明的真命题，也证明系统无法自证一致性。这一结果深刻影响了可计算性理论、逻辑编程，以及关于机器智能极限的长期争论。}
  note         = {AI 纪年静态引用页（EB/OL），构建于 2026-11-03}
}