Frege lanserte i et logistisk program innenfor den gren av matematikken som kalles aritmetikk. Dette programmet, å begrunne aritmetikken i predikatslogikken, forfulgte han senere strengt i ().