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
____________________
.