Publié en 1879, ce texte est le document fondateur de la logique contemporaine. Mathématicien de formation, Frege avait pour but d'éprouver une hypothèse philosophique selon laquelle l'arithmétique est réductible à la logique. Sa langue et son système n'ont été imaginés que pour servir ce but.