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