TY - RPRT TI - Is set theory indispensable? AU - Nik Weaver PY - 2009 UR - https://arxiv.org/abs/0905.1680 ID - 0905.1680 ER -