El enunciado «fuerte», en el que sólo se requiere la consistencia de la teoría fue probado por J.