Modèle non standard

Un article de Wikipédia, l'encyclopédie libre.

Dans la théorie des modèles, un modèle non standard est un modèle dont l'ensemble de base est différent (plus large) que le modèle "standard". Les propositions qui sont vraies dans le modèle standard sont vraies dans le modèle non standard (par sa définition en tant que modèle), mais dans le nouveau modèle, de nouvelles propositions surgiront des nouveaux élements de l'ensemble de base plus large. En terme de théorie des modèles, un modèle non standard est une extension élémentaire du modéle standard.

Des exemples de modèles non standard sont ceux de l'analyse non standard, et de l'arithmétique non standard.