Twierdzenie
Twierdzenie jest stwierdzeniem, które zostało udowodnione na podstawie wcześniejszych twierdzeń, takich jak inne twierdzenia i uprzednio przyjęte stwierdzenia, takie jak aksjomaty. Publikacja twierdzenia jest często interpretowana jako dowód wyrażenia wyrażenia, ale jeśli stosuje się inny system dedukcji, może on generować różne interpretacje, w zależności od celów prawa jego publikacji. Twierdzenie ma dwa składniki, mianowicie hipotezę i konkluzję. Dowód twierdzenia matematycznego jest argumentem logicznym, który wskazuje, że wniosek jest konieczny dla każdej hipotezy, jeśli hipoteza jest prawdziwa, to wnioski muszą być prawdziwe, bez żadnych innych założeń. Tak więc pojęcie twierdzenia jest w zasadzie dedukcyjne, w przeciwieństwie do koncepcji empirycznej teorii naukowej. Chociaż można go zapisać w pełnej symbolicznej postaci jako rachunek proporcjonalny, twierdzenie często wyraża się w języku takim jak język angielski.