From Traditional Set Theory – that of Cantor, Hilbert, Gödel, Cohen – to Its Necessary Quantum Extension