괴델 불완전성 정리
둘러보기로 가기
검색하러 가기
- Gusfield, Dan. “G"odel for Goldilocks: A Rigorous, Streamlined Proof of G"odel’s First Incompleteness Theorem, Requiring Minimal Background.” arXiv:1409.5944 [cs, Math], September 21, 2014. http://arxiv.org/abs/1409.5944.