Freges og blant annet George Booles og Ernst Schröders arbeid var med på å drive logikkens utvikling så langt at det ble mulig å undersøke matematikkens grunnlag ved hjelp av matematisk logikk.