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

 

Prefix: a b c d e f g h i j k l m n o p q r s t u v w x y z 0 1 2 3 4 5 6 7 8 9

Portal di Ensiklopedia Dunia