問題はGだが、定義からGは決定不能であり、それによりCも決定不能となる.
問題はGだが、定義からGは決定不能であり、