7910状態Turingマシンの停止性をZFC内では判定できない