괴델 불완전성 정리

• 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.