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