If we had a method would tell us whether P(a,y,z,...,w) = 0 has a solution for a given value of a, then we would have a method of calculating whether a belongs to the set S, and this is impossible.
Kung kami ay may isang paraan ay sabihin sa amin kung P (a, y, z,..., w) = 0 ay isang solusyon para sa isang ibinigay na halaga ng isang, at pagkatapos, kami ay may isang paraan ng pagkalkula kung ang isang-aari sa ang itakda S, At ito ay matutupad.