Recent content by Kushagra Nigam

I have started reading formal definitions of Hilbert Spaces. I don't understand the requirement of separability postulate. I have proved that it leads to count ability of basis but again why is that required at first place.