TY - RPRT TI - A construction of set theory AU - Frank Quinn PY - 2023 UR - https://arxiv.org/abs/2009.08867 ID - 2009.08867 ER -