Frege räknas som grundläggare av den moderna logiken och som en av föregångarna till den analytiska filosofin. I sitt arbete Begriffsschrift (1879) presenterar Frege ett omfångsrikt logiskt symbolspråk och en uppsättning strikta bevisregler, och är härigenom den förste att förverkliga Leibniz idé om ett formellt axiomatiskt system på ett sätt