| Attributes | Values |
|---|
| rdfs:label
| - Modèle non standard (fr)
- 非标准模型 (zh)
|
| rdfs:comment
| - En logique mathématique, plus précisément en théorie des modèles, un modèle non standard d'une théorieest un modèle de celle-ci dont l'ensemble de base est différent du modèle « standard » de la théorie (quand il y en a un), l'exemple le plus courant étant l'ensemble ℕ des entiers muni de ses opérations usuelles, qui est le modèle standard des théories arithmétiques, comme l'arithmétique de Peano. Tout modèle non standard de l'arithmétique de Peano a une copie isomorphe de ℕ (l'interprétation des termes du langage) comme segment initial. (fr)
|
| sameAs
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| dbo:wikiPageWikiLink
| |
| page length (characters) of wiki page
| |
| dct:subject
| |
| prop-fr:wikiPageUsesTemplate
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| has abstract
| - En logique mathématique, plus précisément en théorie des modèles, un modèle non standard d'une théorieest un modèle de celle-ci dont l'ensemble de base est différent du modèle « standard » de la théorie (quand il y en a un), l'exemple le plus courant étant l'ensemble ℕ des entiers muni de ses opérations usuelles, qui est le modèle standard des théories arithmétiques, comme l'arithmétique de Peano. Tout modèle non standard de l'arithmétique de Peano a une copie isomorphe de ℕ (l'interprétation des termes du langage) comme segment initial. Un modèle non standard peut ou non être élémentairement équivalent au modèle standard, c'est-à-dire satisfaire les mêmes énoncés clos (si oui, c'est un modèle non standard de la théorie du modèle standard, qui est complète par définition). Il peut ou non être une extension du modèle standard et satisfaire les mêmes énoncés clos à paramètres dans le modèle standard, c'est-à-dire en être une (en). (fr)
|
| is dbo:wikiPageWikiLink
of | |
| is Wikipage redirect
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
| is known for
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)