Lógica matemática: Antecedentes y fundamentos