About: Set-theoretic definition of natural numbers

An Entity of Type: WikicatNumbers, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

In set theory, several ways have been proposed to construct the natural numbers. These include the representation via von Neumann ordinals, commonly employed in axiomatic set theory, and a system based on equinumerosity that was proposed by Gottlob Frege and by Bertrand Russell.

Property Value
dbo:abstract
  • Il existe plusieurs méthodes classiques de construction des entiers naturels, mais on utilise aujourd’hui le plus souvent celle due à von Neumann . (fr)
  • In set theory, several ways have been proposed to construct the natural numbers. These include the representation via von Neumann ordinals, commonly employed in axiomatic set theory, and a system based on equinumerosity that was proposed by Gottlob Frege and by Bertrand Russell. (en)
  • 已经提出了多种使用集合论定义自然数的方式。 (zh)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 428484 (xsd:integer)
dbo:wikiPageLength
  • 5750 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1116636806 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
rdf:type
rdfs:comment
  • Il existe plusieurs méthodes classiques de construction des entiers naturels, mais on utilise aujourd’hui le plus souvent celle due à von Neumann . (fr)
  • In set theory, several ways have been proposed to construct the natural numbers. These include the representation via von Neumann ordinals, commonly employed in axiomatic set theory, and a system based on equinumerosity that was proposed by Gottlob Frege and by Bertrand Russell. (en)
  • 已经提出了多种使用集合论定义自然数的方式。 (zh)
rdfs:label
  • Von Neumanns Modell der natürlichen Zahlen (de)
  • Construction des entiers naturels (fr)
  • Set-theoretic definition of natural numbers (en)
  • 自然数的集合论定义 (zh)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:notableIdea of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:notableIdeas of
is rdfs:seeAlso of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License