Теорема: Разлика между версии

редакция без резюме
м (Робот Добавяне: scn:Tiurema)
Редакция без резюме
* '''''следствие''''': твърдение, което следва почти без доказателство от друго вече доказано твърдение. Твърдението ''B'' е следствие на твърдението ''A'', ако ''B'' може лесно и бързо да се изведе от ''A''.
* '''''забележка''''': твърдение, което се доказва изключително лесно. Може да представлява интересен резултат или да се използва за доказателството на друго твърдение. Забележките, за разлика от следствията обикновено се представят без доказателство, защото то се смята за очевидно.
* '''''твъдрениетвърдение''''': всичко което не е теорема, лема, следствие или забележка. Въпреки наименованието си твърденията изискват доказателство. Навсякъде другаде в тази статия се използва по-общото значение на думата.
 
Твърдение което не е доказано, но се предполага че е вярно се нарича [[хипотеза]]. [[Теорема на Гьодел за непълнота|Теоремата на Гьодел за непълнота]] ни казва, че за всяка достатъчно богата система от [[аксиома|аксиоми]] има твърдение, което не може да се докаже или отхвърли използвайки само дадените аскиоми.
Анонимен потребител