В 6й аксиоме единица должна принадлежать множеству действительных (а в общем случае - комплексных) чисел, а не быть элементом линейного пространства.