Yes, indeed, Sam Buss. Thanks for saving me from the embarrassment of an
easy proof that PA has _no_ decidable independent axiomatization! You
have shown that such a proof would certainly be very hard.
But to round off the topic brought up by Neil T., we should have an
example of an r.e axiom set equivalent to no r.e. independent set.
Bill Tait