@misc{indiciaecd24894d422c,
  title = {Gödel for Goldilocks: A Rigorous, Streamlined Proof of (a variant of) Gödel's First Incompleteness Theorem},
  author = {Dan Gusfield},
  year = {2014},
  url = {https://arxiv.org/abs/1409.5944},
  note = {Source identifier: 1409.5944}
}