Lenguaje, lógica y algunas repercusiones de la (in)definición del thema probandum