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