Formulaire des Mathematiques

This is a French translation of Giuseppe Peano's *Formulario Mathematico*, originally published 1895, in which the author develops a formal language in which to express mathematical theorems. Many notations invented by Peano in this book have are widely used to this day, such as the set-theoretical symbols ∈, ⊂, ∩, and ∪.

Giuseppe Peano is also known for *Peano Arithmetic*, an axiomatization for arithmetic (addition and multiplication) on the natural numbers.