Cet article porte sur la participation de la langue à la preuve logique : la langue agit pour formuler les énoncés et l’agencement des énoncés d’une preuve. – Introduction; – i. Règle, déduction et preuve; – Propriétés des systèmes déductifs; – 3. Langage, règles et déduction grammaticale.