Contextual objectivity and the quantum formalism

The new orthodoxy of quantum mechanics (QM) based on the decoherence approach requires many-worlds as an essential ingredient for logical consistency, and one may wonder what status to give to all these other worlds. Here we advocate that it is possible to build a consistent approach to QM where no other worlds are needed, and where the quantum formalism appears as a consequence of requiring the enumerability of physical properties. Such a quantization hypothesis is closely related to indistinguishability, and is deeply inconsistent with classical physics.