Disons que je vois ça de la manière suivante : Soit E l'ensemble des réalités possibles répondant à une question Q. prenons 3 sous-ensembles A, B et C de E. A, B et C sont des réalités possibles répondant à Q. Mais rien n'indique que A U B U C = E. Il faut introduire un autre sous-ensemble D de E (appelé "sans opinion" ou "autre"...), vide ou non, fini ou non, tel que A U B U C U D = E.
PS: à défaut d'être mathématique, j'espère que mon explication est claire :)