О проблеме разрешения для линейных нормированных и гильбертовых пространств

Доказывается, что теория всех линейных нормированных пространств неразрешима, а теория всех гильбертовых пространств, напротив, разрешима. Каждое конкретное гильбертово пространство также имеет разрешимую теорию.