One can prove or refute anything at all with words. Soon people will perfect language technology to such an extent that they’ll beproving with mathematical precision that twice two is seven.