Esto vuelve imposible el crear un sistema perfectamente completo usando matemáticas, porque siempre habrá enunciados verdaderos que no podremos probar.
Esto sucede porque " hola" y los saludos en general son interjecciones, enunciados que sirven para verbalizar sentimientos o, como en este caso, con los que se realizan actos de habla.
Y por eso a mí me gusta explicar las leyes de Newton no con ese enunciado horroroso que nos hacen en la secundaria sino de otra manera entonces ahora sí, clic, corre tiempo.
Precedido por la figura blanca y oronda de la hermana Virtudes, reapareció entonces aquel rostro masculino que días atrás había enunciado unas cuantas palabras borrosas relativas a una guerra.