=== O espaço de Hilbert satisfaz o primeiro axioma de enumerabilidade ===

Basta notar que [[hilbertBaseEnum|o espaço de Hilbert satisfaz o segundo axioma de enumerabilidade]].