@misc{indiciae49097d101a12,
  title = {Godel's Second Incompleteness Theorem for Definable Theories},
  author = {Payam Seraji and Conden Chao},
  year = {2016},
  url = {https://arxiv.org/abs/1602.02416},
  note = {Source identifier: 1602.02416}
}