Fill in the Blanks Logica matematicaOnline version Logica matematica y teoria de conjuntos by Josefany Garcia Monegro 1 Cantor Cantor algoritmos conjuntos conjuntos números demostraciones teorema Georg de lógica La matemática se suele dividir en cuatro áreas : teoría de modelos , teoría de la demostración , teoría de y teoría de la computabilidad . La teoría de la demostración y la teoría de modelos fueron el fundamento de la lógica matemática . La teoría de conjuntos se originó en el estudio del infinito por y ha sido la fuente de muchos de los temas más desafiantes e importantes de la lógica matemática , a partir del , el axioma de elección y la cuestión de la independencia de la hipótesis del continuo , al debate moderno sobre grandes axiomas cardinales . La lógica matemática tiene estrechas conexiones con las ciencias de la computación . La lógica matemática también estudia las definiciones de nociones y objetos matemáticos básicos como , , y .