теорема
Теорема - это утверждение, которое было доказано на основе предыдущих утверждений, таких как другие теоремы и ранее принятые утверждения, такие как аксиомы. Публикация теоремы часто интерпретируется как доказательство выражения выражения, но если используется другая система удержания, она может производить разные интерпретации в зависимости от целей закона ее публикации. Теорема имеет две компоненты: гипотезу и заключение. Доказательство математической теоремы является логическим аргументом, который указывает, что вывод является необходимым результатом для каждой гипотезы, если гипотеза верна, то выводы также должны быть верны, без каких-либо других предположений. Таким образом, понятие теоремы в основном дедуктивное, в отличие от понятия эмпирической научной теории. Хотя он может быть написан в полной символической форме как пропорциональное исчисление, теорема часто выражается на языке, таком как английский язык.