Como o espaço de Arens-Fort não possui base local enumerável, segue que não possui base enumerável. Pois base enumerável $\Rightarrow$ base local enumerável.