rezultat rozumowania przeprowadzonego na podstawie jakichś przesłanek.

punkt widzenia lub teza przyjęta na początku rozumowania i stanowiąca dla niego podstawę.

sprowadzenie pojęcia do mniej szczegółowej postaci.

twierdzenie pomocnicze, którego głównym zastosowaniem jest uproszczenie dowodów innych, bardziej istotnych twierdzeń.

koncepcja oparta na poznaniu.

system pojęć, definicji, aksjomatów i twierdzeń, ustalających relacje między tymi pojęciami i aksjomatami, tworzący spójny system pojęciowy, opisujący jakąś wybraną dziedzinę fizyczną lub abstrakcyjną.

koncepcja oparta na poznaniu.

system pojęć, definicji, aksjomatów i twierdzeń, ustalających relacje między tymi pojęciami i aksjomatami, tworzący spójny system pojęciowy, opisujący jakąś wybraną dziedzinę fizyczną lub abstrakcyjną.

twierdzenie mówiące, że metoda zwykłej większości jest jedyną funkcją wyboru publicznego między dwiema alternatywami, która spełnia warunki decyzyjności, mocnej monotoniczności, anonimowości i neutralności.

twierdzenie geometryczne, wedle którego suma iloczynów długości przeciwległych sobie boków czworokąta ABCD, na którym można opisać okrąg, równa się iloczynowi długości jego przekątnych.

twierdzenie mówiące, że każdy skończony pierścień z dzieleniem, tj. taki, w którym każdy niezerowy element jest odwracalny, jest ciałem (tzn. działanie mnożenia jest przemienne)

twierdzenie mówiące, że proste, w których zawierają się przeciwległe boki sześciokąta wpisanego w stożkową, przecinają się na tzw. prostej Pascala.

twierdzenie, wedle którego w dowolnym trójkącie prostokątnym suma kwadratów długości przyprostokątnych jest równa kwadratowi długości przeciwprostokątnej tego trójkąta.

w logice: znaczenie zdania oznajmującego lub samo zdanie.

w matematyce to część twierdzenia, której trzeba dowieść zachowując przy tym ustalone założenia; drugi zbiór zdań w twierdzeniu, właściwy sąd, będący istotną treścią wypowiadanego twierdzenia.

w matematyce to część twierdzenia, której trzeba dowieść zachowując przy tym ustalone założenia; drugi zbiór zdań w twierdzeniu, właściwy sąd, będący istotną treścią wypowiadanego twierdzenia.