,


See above, when prove that (a), can take a formula from a centralized become subset, it must be independent of the equivalent, proposition is the, in the infinite set, you can also use this way, but why is the "not necessarily exist independent of equivalent subset"? Mystery,

Please god give a proof,