хотя ewert все равно обругает
чего я буду ругаться, когда Вы ровно меня же и повторили. Это -- одно из нескольких возможных эквивалентных продолжений понятия размерности.
это Вы к тому, что можно отрицать аксиому выбора?
А вот да, между кстати. Т.е. не то что отрицать буду, но и осознавать следует чётко: базисы Гамеля 1)
вычислительно не существуют и 2) их даже и
абстрактное существование заранее далеко не очевидно. Т.е. как
первичные объекты они никуда не годятся. Это уж потом, глубоко потом с ними можно будет поразвлекаться, если вдруг захочется.
А вы говорите -- программисты.