In all models of ZF¬C there is a vector space with no basis.
En todos os modelos de ZF¬E hai un espazo vectorial sen base.