[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

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