[FOM] alleged quote from Hilbert
John McCarthy
jmc at steam.Stanford.EDU
Sat Apr 9 02:17:51 EDT 2005
It seems to me that consistency is not enough in a very simple way.
Suppose some alleged axioms for (say) group theory were consistent but
admitted only one model - the trivial group. That would be quite
unsatisfactorry. It seems that a set of axioms needs to have enough
models.
For a propositional calculus theory, I know how to parameterize the
set of all models in a simple way, but I don't know how to do it for
even monadic predicate calculus.
More information about the FOM
mailing list