@misc{indiciaea2f4dee01a6c,
  title = {Boolos-style proofs of limitative theorems},
  author = {Gyorgy Sereny},
  year = {2003},
  url = {https://arxiv.org/abs/math/0309345},
  note = {Source identifier: math/0309345}
}