TY  - RPRT
TI  - On consistency and existence in mathematics
AU  - Walter Dean
PY  - 2021
DO  - 10.1093/arisoc/aoaa017
UR  - https://arxiv.org/abs/2007.10167
ID  - 2007.10167
ER  -