FOM: decidability of sets of axioms

[wtait@ix.netcom.com]

Neil,

Its likely that you haven't stated what you mean.

Let P be some non-logical (i.e. falsifiable) sentence which is true in M 
(e.g. the sentence that there are at least two elements, or whatever). 
Let X consist of the conjunctions P and Q, where Q is in X_0. (Since X_o 
and X are to consist of sentences true in M, the requirement of 
consistency is redundant.)

Bill