Twierdzenie

Wniosek, który da się udowodnić matematyczne lub logiczne i wynika z przyjętych wcześniej założeń (Wielki słownik języka polskiego).

Wszelkie zdanie złożone z 2 członów, z których pierwszy jest założeniem, drugi zaś tezą, występujące najczęściej w postaci implikacji (Internetowa Encyklopedia PWN).
W znaczeniu ścisłym — teza teorii, wyprowadzona za pomocą określonych przekształceń z przyjętych w danej teorii aksjomatów, zw. twierdzeniami pierwotnymi, w odróżnieniu od wywiedzionych z nich twierdzeń pochodnych; tak zbudowane twierdzenia logiki, odgrywające role przesłanek, wniosków i zasad wnioskowania, mają doniosłe znaczenie metodol., pozwalające na ocenę poprawności strukturalnej systemów dedukcyjnych; pot. zdanie oznajmujące wygłaszane z dużym przekonaniem o jego prawdziwości (Internetowa Encyklopedia PWN).

Źródła:

Wielki słownik języka polskiego. Retrieved from: https://wsjp.pl/haslo/podglad/33797/twierdzenie/5223742/pitagorasa

Internetowa Encyklopedia PWN. Retrieved from: https://encyklopedia.pwn.pl/haslo/twierdzenie;3990316.html