 In what follows, we look briefly at Hilbert’s technique in Foundations of Geometry, detail Frege’s various criticisms thereof, and finally outline the overall conceptions of logic that give rise to the differences.