Loogika aine ja ajalugu
predikaatarvutuse keel on alati kõige praktilisem, selgem või mugavam meetod ükskõik mille rangeks kirjeldamiseks,
vaid et teoreetiliselt on iga range kirjeldus predikaatarvutuse abil kirja pandav.
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.
Frege tähtsus ei piirdu ainult predikaatarvutuse loomisega. Peale 1879. aastat kirjutas ta sarja mõjukaid artikleid,
alustades kõigepealt Boole'i kritiseerimisega (Frege ei olnud teadlik Peirce'i ja Schröderi parandustest ning täiendustest
Boole'i algebrale). Frege kindel seisukoht oli, et kogu matemaatika saab taandada elementaarsetele loogikareeglitele, st