Préface

Déduction et logique mathématique

Exhaustion des cas

Analyse et synthèse

Méthode de Descartes

Découpages et coloriages

Invariants

Principe de l’extremum

Induction et récurrence

Principe des tiroirs

Transport de propriétés

Usage de l’infini

Erreurs, beauté et paradoxes

Limites de la preuve

Postface