TY  - RPRT
TI  - Existence of bases implies the axiom of choice, a foundation-free proof
AU  - Gabriel Fernandes
AU  - Renan Maneli Mezabarba
AU  - Vinicius de Oliveira Rodrigues
PY  - 2026
UR  - https://arxiv.org/abs/2609.20140
ID  - 2609.20140
ER  -