Frege antud konkreetne predikaatarvutuse esitus on raskesti loetav ja hoopis teistsugune, kui kaasaegsed esitused. Põhimõtted on sellegipoolest samad. Ka ei esitanud Frege oma süsteemi aksiomaatilisel kujul ega tuletanud kaasaegse predikaatarvutuse jaoks olulisi metateoreeme ehk süsteemi ennast, tema võimalusi ja puudujääke käsitlevaid tulemusi:  nendeni jõuti alles 20. sajandi esimesel kolmandikul.