Introduction

Typiquement, dans une démonstration, on a des objets donnés dans l'énoncé, des hypothèses c'est-à-dire de propriétés de ces objets qui sont supposées vraies, et il s'agit de démontrer un but, qui est une propriété que l'on doit établir et qui concerne ces mêmes objets, à l'aide des hypothèses et des propriétés connues antérieurement (les axiomes, les théorèmes, ...).

Les considérations ci-dessous ont pour but d'aider à avoir un plan de démonstration : comment s'y prendre à partir des hypothèses pour aboutir au but ? Toutes les démonstrations ne se réduisent pas à des automatismes, mais le peu de logique pratique indiqué ci-dessous doit aider à organiser une démonstration.