TY  - RPRT
TI  - A weak set theory that proves its own consistency
AU  - Fedor Pakhomov
PY  - 2019
UR  - https://arxiv.org/abs/1907.00877
ID  - 1907.00877
ER  -