Virtual Laboratory Wiki
Advertisement

Теоре́ма (греч. θεώρημα — «вид, представление, положение») — утверждение, для которого в рассматриваемой теории существует доказательство (иначе говоря, вывод). Частным случаем теорем являются аксиомы, которые принимаются истинными без всяких доказательств или обоснований. Для аксиом доказательством служит пустой вывод.

В математических текстах теоремами обычно называют только достаточно важные утверждения. При этом требуемые доказательства обычно кем-либо найдены (исключение составляют в основном работы по логике, в которых изучается само понятие доказательства, а потому в некоторых случаях теоремами называют даже неопределённые утверждения). Менее важные утверждения-теоремы обычно называют леммами, предложениями, следствиями, условиями и прочими подобными терминами. Утверждения, о которых неизвестно, являются ли они теоремами, обычно называют гипотезами.


Эта страница использует содержимое раздела Википедии на русском языке. Оригинальная статья находится по адресу: Теорема. Список первоначальных авторов статьи можно посмотреть в истории правок. Эта статья так же, как и статья, размещённая в Википедии, доступна на условиях CC-BY-SA .


Advertisement