x
1

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.



Escribe un comentario o lo que quieras sobre Aritmética de segundo orden (directo, no tienes que registrarte)


Comentarios
(de más nuevos a más antiguos)


Aún no hay comentarios, ¡deja el primero!