Este teorema es cierto porque el conjunto vacío no tiene elementos, y decir «todo hombre en es inmortal» es lo mismo que afirmar que «no hay ningún hombre mortal en », y esto último es trivialmente cierto.