Drittens werden Begriffsumfänge axiomatisch eingeführt und damit das eigentliche Fundament des Programmes geschaffen (streng genommen führt Frege „Wertverläufe“ von Funktionen ein, die aber mit Begriffsumfängen äquivalent sind).