LA LOGICA
Se ocupa
El estudio del razonamiento
Lógica matemática
Sirve
Para evitar contradicciones mediante determinación precisa del razonamiento matemático
Lógica Moderna
Golden: obtenido resultados que Finitismo Matemáticas y Metamatemáticas
Platonismo Formalismo Radical
demuestran las limitaciones del
razonamiento humano
Se usa Afirma Es una Se ocupa
Teorías
Cuando se trata de conjuntos Que los objetos Alternativa que De los fundamentos de la
infinitos abstractos existen proclive una buena matemática para que un
Demostración Modelos Recursión Conjuntos por si mismos parte de los argumento sea valido
matemáticos
No se ha encontrado
Es Son Es Que usan Matemáticas Metamatemáticas
Auxiliares para Paradoja que involucre los
Parte clásica La lógica o el Consiste Razona
el estudio de Ejemplo mas conjuntos finitos
la primera significativo razonamiento Sobre las afirmaciones
matemático Demostrar
en general es
afirmaciones a
necesario para
partir de unas
establecer la misma
afirmaciones fijas
matemática