TY - RPRT TI - A metric set theory with a universal set AU - James Hanson PY - 2023 UR - https://arxiv.org/abs/2302.02258 ID - 2302.02258 ER -