De grondslagen der aritmetica
Gottlob Frege

Een logisch-mathematisch onderzoek van het taalbegrip.

Volgens Leibniz konden aritmetische stellingen teruggebracht worden tot zuiver logische waarheden, volgens Kant kon dat niet. Frege schaarde zich aan de kant van Leibniz en wilde op zuiver logische grond bewijzen dat de aritmetische proposities waar zijn. Hiervoor zou hij proberen alle wiskundige stellingen af te leiden uit zuiver logische grondstellingen en definities en aldus een reconstructie geven van de aritmetica met uitsluitend logische middelen.