Полученная из латинской теоремы, слово теорема состоит из предложения, которое может быть логически продемонстрировано из аксиомы или из других теорем, которые были продемонстрированы заранее. Этот демонстрационный процесс осуществляется с помощью определенных правил вывода .

Следовательно, теорема может быть описана как подтверждение важности. Есть и другие, более низкого ранга, такие как девиз (который принадлежит более длинной теореме), следствие (которое следует непосредственно за теоремой) или предложение (результат, который не связан ни с какой конкретной теоремой).

Следует отметить, что до тех пор, пока утверждение не будет доказано, оно определяется как гипотеза или гипотеза . На самом деле, часто требуется много лет, а то и десятилетия или даже больше, чтобы найти убедительную проверку. В некоторых случаях, когда речь идет о теоремах, описывающих ситуации, которые невозможно решить без помощи компьютеров, учитывая их сложность или охватывая большое количество комбинаций, ответы часто бывают очень сомнительными, поскольку вы должны доверять компьютеру.

Одна из наиболее известных теорем - это так называемая теорема Сказок, которая утверждает, что, отмечая линию в треугольнике, параллельном одной из его сторон, пару одинаковых треугольников (то есть две фигуры с одинаковые углы и пропорциональные стороны).

Другой очень популярной теоремой является теорема Пифагора, которая указывает, что квадрат гипотенузы (то есть сторона большей длины и противоположная прямому углу) в прямоугольном треугольнике идентичен сумме квадратов ноги (то есть пара меньших сторон прямоугольного треугольника). Его применения неисчислимы, как в области математики, так и в повседневной жизни.

Фактически, это одна из самых простых в использовании теорем, которая может решить многие проблемы без технических или дополнительных знаний. Выполнять измерения на прямых поверхностях, таких как полы или стены, гораздо проще, чем продвигать метр от одной точки к другой, рисуя наклонную линию в воздухе, особенно если расстояние такое, что требуется несколько шагов.

Предположим, нам нужно знать расстояние между крышей сарая и противоположной ей точкой на стене, чтобы разместить навес. Одним из вариантов является удлинение счетчика от одного конца до другого, что не очень удобно; другой - измерить две ветви (существующий участок между обеими стенами и разницу в высоте между крышей и точкой другой стены) и применить теорему Пифагора, чтобы получить точное число в считанные секунды.

Вдали от популярного ландшафта теорема о четырех цветах гласит, что любая географическая карта с пограничными областями может быть нарисована с использованием только четырех разных оттенков, так что ни одна пара зон не будет иметь одинаковый цвет. Это открытие было сделано студентом-математиком и ботаником по имени Фрэнсис Гатри в 1852 году, и его достоверность была доказана более 100 лет спустя рукой двух ученых : Кеннета Аппеля и Вольфганга Хакена. Несмотря на то, что эта теорема не была общедоступной, ее изучали неисчислимое количество раз, и тот факт, что компьютер требовал анализа ее точности, был спорным.

С другой стороны, «Теорема» - это название испанского журнала, специализирующегося на философии, который был основан профессором Мануэлем Гарридо в 1971 году . Публикация была опубликована без перерыва до 1986 года, а затем она была опубликована снова с 1996 года . В настоящее время «Теорема» выпускает ежеквартальный тираж и каждый год представляет приложение под названием «Лимбо» .