| Property |
Value |
| dbo:abstract
|
- En la lógica matemática, la aritmética de segundo orden es una colección de sistemas axiomáticos que formalizan los números naturales y sus subconjuntos. La aritmética de segundo orden también puede verse como una versión débil de teoría de conjuntos en la que todo elemento es un número natural o un conjunto de números naturales. (es)
- En la lógica matemática, la aritmética de segundo orden es una colección de sistemas axiomáticos que formalizan los números naturales y sus subconjuntos. La aritmética de segundo orden también puede verse como una versión débil de teoría de conjuntos en la que todo elemento es un número natural o un conjunto de números naturales. (es)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
| |
| dbo:wikiPageRevisionID
| |
| prop-es:editor
|
- School of Arts and Sciences (es)
- School of Arts and Sciences (es)
|
| prop-es:fechaacceso
| |
| prop-es:idioma
| |
| prop-es:título
|
- Second Order Arithmetic and Reverse Mathematics (es)
- Second Order Arithmetic and Reverse Mathematics (es)
|
| prop-es:ubicación
|
- University of Pennsylvania (es)
- University of Pennsylvania (es)
|
| prop-es:url
| |
| dct:subject
| |
| rdfs:comment
|
- En la lógica matemática, la aritmética de segundo orden es una colección de sistemas axiomáticos que formalizan los números naturales y sus subconjuntos. La aritmética de segundo orden también puede verse como una versión débil de teoría de conjuntos en la que todo elemento es un número natural o un conjunto de números naturales. (es)
- En la lógica matemática, la aritmética de segundo orden es una colección de sistemas axiomáticos que formalizan los números naturales y sus subconjuntos. La aritmética de segundo orden también puede verse como una versión débil de teoría de conjuntos en la que todo elemento es un número natural o un conjunto de números naturales. (es)
|
| rdfs:label
|
- Aritmética de segundo orden (es)
- Aritmética de segundo orden (es)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
