A remarkable feature of quantum theory is that particles with identical intrinsic properties must be treated as indistinguishable if the theory is to give valid predictions in all cases. In the quantum formalism, indistinguishability is expressed via the symmetrization postulate (Dirac P 1926 Proc. R. Soc. A 112 661, Heisenberg W 1926 Z. Phys. 38 411), which restricts a system of identical particles to the set of symmetric states ('bosons') or the set of antisymmetric states ('fermions'). However, the physical basis and range of validity of the symmetrization postulate has not been established. A well-known topological derivation of the postulate implies that its validity depends on the dimensionality of the space in which the particles move (Laidlaw M and DeWitt C 1971 Phys. Rev. D3 1375-8, Leinaas J M and Myrheim J 1977 Il Nuovo Cimento B 37 1-23). Here we show that the symmetrization postulate can be derived by strictly adhering to the informational requirement that particles which cannot be experimentally distinguished from one another are not labelled. Our key novel postulate is the operational indistinguishability postulate, which posits that the amplitude of a process involving several indistinguishable particles is determined by the amplitudes of all possible transitions of these particles when treated as distinguishable. The symmetrization postulate follows by requiring consistency with the rest of the quantum formalism. The derivation implies that the symmetrization postulate admits no natural variants. In particular, the possibility that identical particles generically exhibit anyonic behavior in two dimensions is excluded.