Aritmética de segundo orden
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.
Véase también
Enlaces externos
- School of Arts and Sciences (ed.). «Second Order Arithmetic and Reverse Mathematics» (en inglés). University of Pennsylvania. Consultado el 27 de marzo de 2015.
| Control de autoridades |
|
|---|
Datos: Q7442973
Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.