He had already made clear how pleased mathematicians should be that there is no solution to the general decision problem.
Niya na ginawa malinaw kung paano natutuwa mathematicians ay dapat na walang solusyon sa pangkalahatang desisyon problema.