Euclide

Éléments d'Euclid (C. 300 avant notre ère), qui présentait un ensemble d'arguments logiques formels basés sur quelques termes et axiomes de base, a fo...