Twierdzenie to sformalizowana wypowiedź
sądu, stosowana we wszystkich
naukach ścisłych, składająca się z dwóch zbiorów zdań, które łączy
relacja implikacji. Pierwszy zbiór zdań określa ściśle warunki dla których dane twierdzenie jest spełnione i nazywa się
założeniem twierdzenia, a drugi zbiór zdań jest właściwym sądem, będącym istotną treścią wypowiadanego twierdzenia i zwany jest
tezą twierdzenia.