Une théorie mathématique, comme l’arithmétique ou la géométrie plane, est constituée d’axiomes, c’est-à-dire de propriétés admises sans démonstrations, de définitions et de théorèmes qui se déduisent des axiomes en utilisant les règles de la logique. Cependant, on réserve ce nom aux propriétés ayant des applications importantes comme le théorème de Pythagore ou celui de Thalès et non à des résultats triviaux comme 2 + 2 = 4.
