Definition 3.1.2.  Let F be a field, V be a vector space over F. We define:
V is finite-dimensional  :⇔  ∃ x ∈ Ba(V) : x is finite  ⇔  V is finitely generated
V is infinite-dimensional  :⇔  V is not finite-dimensional
Equivalence.  No proof.
References.