@misc{indiciae9cbfc002b9e6,
  title = {A Simple Character String Proof of the "True but Unprovable" Version of Gödel's First Incompleteness Theorem},
  author = {Antti Valmari},
  year = {2014},
  doi = {10.4204/eptcs.151.25},
  url = {https://arxiv.org/abs/1402.7253},
  note = {Source identifier: 1402.7253}
}