En logique mathématique, les indiscernables sont des objets qui ne peuvent être distingués par aucune propriété ou relation définies par une formule. D'ordinaire, seules les formules du calcul des prédicats du premier ordre sont prises en considération.

Property Value
dbo:abstract
  • En logique mathématique, les indiscernables sont des objets qui ne peuvent être distingués par aucune propriété ou relation définies par une formule. D'ordinaire, seules les formules du calcul des prédicats du premier ordre sont prises en considération. (fr)
  • En logique mathématique, les indiscernables sont des objets qui ne peuvent être distingués par aucune propriété ou relation définies par une formule. D'ordinaire, seules les formules du calcul des prédicats du premier ordre sont prises en considération. (fr)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 9719743 (xsd:integer)
dbo:wikiPageLength
  • 2736 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 180850573 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 2003 (xsd:integer)
prop-fr:collection
  • Springer Monographs in Mathematics (fr)
  • Springer Monographs in Mathematics (fr)
prop-fr:fr
  • zéro dièse (fr)
  • cardinal d'Erdős (fr)
  • lois de la pensée (fr)
  • zéro dièse (fr)
  • cardinal d'Erdős (fr)
  • lois de la pensée (fr)
prop-fr:isbn
  • 978 (xsd:integer)
prop-fr:lang
  • en (fr)
  • en (fr)
prop-fr:lieu
  • Berlin, New York (fr)
  • Berlin, New York (fr)
prop-fr:lireEnLigne
prop-fr:nom
  • Jech (fr)
  • Jech (fr)
prop-fr:pagesTotales
  • 772 (xsd:integer)
prop-fr:prénom
  • Thomas (fr)
  • Thomas (fr)
prop-fr:sousTitre
  • The Third Millennium Edition, revised and expanded (fr)
  • The Third Millennium Edition, revised and expanded (fr)
prop-fr:titre
  • Set Theory (fr)
  • Set Theory (fr)
prop-fr:trad
  • Zero sharp (fr)
  • Erdős cardinal (fr)
  • laws of thought (fr)
  • Zero sharp (fr)
  • Erdős cardinal (fr)
  • laws of thought (fr)
prop-fr:wikiPageUsesTemplate
prop-fr:zbl
  • 1007.030020 (xsd:double)
prop-fr:éditeur
  • Third Millennium et Springer-Verlag (fr)
  • Third Millennium et Springer-Verlag (fr)
dct:subject
rdfs:comment
  • En logique mathématique, les indiscernables sont des objets qui ne peuvent être distingués par aucune propriété ou relation définies par une formule. D'ordinaire, seules les formules du calcul des prédicats du premier ordre sont prises en considération. (fr)
  • En logique mathématique, les indiscernables sont des objets qui ne peuvent être distingués par aucune propriété ou relation définies par une formule. D'ordinaire, seules les formules du calcul des prédicats du premier ordre sont prises en considération. (fr)
rdfs:label
  • Indiscernables (fr)
  • Indiscernibles (en)
  • Indiscerníveis (pt)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of