@misc{indiciae888a8ad3c084,
  title = {Formalizing set theory in weak logics, searching for the weakest logic with Gödel's incompleteness property},
  author = {H. Andréka and I. Németi},
  year = {2011},
  url = {https://arxiv.org/abs/1111.0995},
  note = {Source identifier: 1111.0995}
}