TY  - RPRT
TI  - Axiomatic (and Non-Axiomatic) Mathematics
AU  - Saeed Salehi
PY  - 2020
DO  - 10.1216/rmj.2022.52.1157
UR  - https://arxiv.org/abs/2008.08283
ID  - 2008.08283
ER  -