Formalisation logique de la différence entre les attitudes consistant à admettre ou non l'existence d'une réalité unique : admettre qu'il existe une réailité extérieure bien définie, plus ou moins connaissable, revient, d'un point de vue de métaphysique axiomatique (on raisonne sur des modèles d'extérieur possibles réalisant nos sensations) à prendre dans les axiomes une constante de modèle.
[Ceci n'impose rien de plus au modèle en question, sauf les propriétés attendues de tout modèle rendant compte de mes sensations (complexité minimale...)]