Modèle non standard
Un article de Wikipédia, l'encyclopédie libre.
En logique mathématique, plus précisément en théorie des modèles, un modèle non standard est un modèle dont l'ensemble de base est différent du modèle "standard". Les propositions qui sont vraies dans le modèle standard sont vraies dans le modèle non standard (puisqu'il s'agit d'une extension élémentaire (en)), mais dans le nouveau modèle, de nouvelles tautologies surgiront dues à la présence de nouveaux éléments dans l'ensemble de base, plus large.
Des exemples de modèles non standard sont ceux de la théorie des ensembles, de l'analyse non standard, et de l'arithmétique non standard.
