3.4 可判定性