On the notion of Krull super-dimension