W każdym twierdzeniu wyróżniamy dwie części:

• założenie - warunki, w których dane twierdzenie można stosować
• tezę - opis tego, co dzieje się, gdy założenie jest spełnione

Zapisujemy założenie innymi