Matematikai logika története