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

* '''''следствие''''': твърдение, което следва почти без доказателство от друго вече доказано твърдение. Твърдението ''B'' е следствие на твърдението ''A'', ако ''B'' може лесно и бързо да се изведе от ''A''.

* '''''забележка''''': твърдение, което се доказва изключително лесно. Може да представлява интересен резултат или да се използва за доказателството на друго твърдение. Забележките, за разлика от следствията обикновено се представят без доказателство, защото то се смята за очевидно.

 

Твърдение което не е доказано, но се предполага че е вярно се нарича [[хипотеза]]. [[Теорема на Гьодел за непълнота|Теоремата на Гьодел за непълнота]] ни казва, че за всяка достатъчно богата система от [[аксиома|аксиоми]] има твърдение, което не може да се докаже или отхвърли използвайки само дадените аскиоми.