@misc{indiciaee5f24c7c7d6c,
  title = {From Tarski to Gödel. Or, how to derive the Second Incompleteness Theorem from the Undefinability of Truth without Self-reference},
  author = {Albert Visser},
  year = {2018},
  url = {https://arxiv.org/abs/1803.03937},
  note = {Source identifier: 1803.03937}
}