La logica in matematica