Las
____________________
o
la
____________________
es
una
ciencia
formal
que
,
partiendo
de
axiomas
y
siguiendo
el
____________________
____________________
,
estudia
las
____________________
y
____________________
entre
entidades
abstractas
como
____________________
,
____________________
____________________
o
____________________
____________________
.