Tomando como punto de partida el axioma VII, procedemos a definir de una manera formal lo que es un observable y sobre la base de esta definición establecer la correspondenica entre operadores autoadjuntos y observables.