Как математика помогает обосновать истинность какого-либо утверждения

proofАбориген из племени мумба-юмба заявил западному антропологу, что дважды два будет пять.

Антрополог поинтересовался, как он пришел к такому выводу.

— Разумеется, я всё доказал математически, — ответил абориген.

— Я завязал на веревке два узелка, затем завязал ещё два узелка на другой веревке. А когда я связал обе верёвки вместе, у меня получилось пять узелков.


Для справки:

Математика — фундаментальная наука, предоставляющая (общие) языковые средства другим наукам; тем самым она выявляет их структурную взаимосвязь и способствует нахождению самых общих законов природы.

Доказательство — рассуждение по определенным правилам, обосновывающее какое-либо утверждение.

Логическое доказательство — логическая операция обоснования истинности утверждения с помощью фактов и связанных с ним суждений. С помощью совокупности логических приёмов истинность какого-либо суждения обосновывается исходя из других истинных суждений.

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