TY - RPRT TI - Axioms for Arbitrary Object Theory AU - Luca Steinkrauss AU - Leon Horsten PY - 2025 UR - https://arxiv.org/abs/2504.20122 ID - 2504.20122 ER -