Personnellement j'oublie souvent ce qu'est un modèle IN est un modèle permet de comprendre ce que c'est, mais jai du mal à.le.definir autrement jai envie de dire que c'est une réalité mathématique au sein de laquelle les règles de logique sont respectées, cependant ce point est postulé je pense et non démontré. La notion de modèle dépend elle donc de la logique modèle pour la logique du premier ordre pour la logique du second ordre ou plutôt le modèle transcende même la logique utilisée ? Vous avez parlé du tiers exclus mais par exemple si on se place dans la logique intuitioniste où cette règle n'existe pas, ça veut dire qu'on ne plus dire (dans les modèles correspondant si la.notion de modèle dépend de la logique utilisée) qu'une proposition n'est jamais indécidable ?
Cette notion de modèle réalité mathématique ma toujours dérangé intérieurement, jai du mal à m'approprier l'idée que cette chose semble exister de manière autonome. Désolé si j'emploie un vocabulaire platonicien j'exprime juste mon ressenti "mathématique".
-----