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