Frege e le origini della logica matematica