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 relacjaimplikacji. 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 sądem właściwym, będącym istotną treścią wypowiadanego twierdzenia i zwany jest tezą twierdzenia.
W celu uzyskania więcej informacji, zobacz w Wikipedia.οrg...