Por el axioma de elección todo espacio tiene una base (incluso el espacio {0}, ya que el vacío es una base), y puesto que puede demostrarse que todas las bases vectoriales tienen el mismo cardinal, el concepto de dimensión está bien definido.