TY  - RPRT
TI  - Formalizing set theory in weak logics, searching for the weakest logic with Gödel's incompleteness property
AU  - H. Andréka
AU  - I. Németi
PY  - 2011
UR  - https://arxiv.org/abs/1111.0995
ID  - 1111.0995
ER  -