{"id":"arxiv/2609.20140","url":"https://arxiv.org/abs/2609.20140","tags":["math.LO"],"score":0,"title":"Existence of bases implies the axiom of choice, a foundation-free proof","domain":"math.LO","source":"arxiv","authors":["Gabriel Fernandes","Renan Maneli Mezabarba","Vinicius de Oliveira Rodrigues"],"reviews":0,"subject":"math.LO","summary":"We prove that, in Zermelo--Fraenkel set theory with the axiom of Foundation removed, the statement that every vector space has a basis implies the Axiom of Choice ($\\mathsf{AC}$), concluding that the classical equivalence between $\\mathsf{AC}$ and the existence of bases does not require regularity. This result extends to set theory with atoms.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-17","reactions":{}}