Les mathématiques et la logique offrent plusieurs modèles ne dépendant pas de la réalité (même si logique dépend de la réalité, associations nouvelles dues à la capacité de généralisation) ou du moins pas directement : la théorie utilisée en mathématique peut ne pas correspondre au modèle physique le plus évident (cf. géométries non euclidiennes) [mais au moins un modèle physique : l'esprit du concepteur (en puissance pour des théories infinies) ].