TY - RPRT TI - On some of Brouwer's axioms AU - Wim Veldman PY - 2022 UR - https://arxiv.org/abs/2202.06078 ID - 2202.06078 ER -