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