[FOM] Question about Set Theory as a formal basis for mathematics
John McCarthy
jmc at steam.Stanford.EDU
Mon Feb 27 17:41:28 EST 2006
>From the point of view of artificial intelligence, it is important to
have an axiom system for set theory, e.g. ZFC, that admits short
proofs within logic. The axiom systems in the texts are designed to
make it convenient to prove informally metatheorems about the
existence of proofs. The use of recursively defined functions is
justified by the axiom of infinity, but the number of steps is large.
Has anyone proposed what I would call a heavy duty set of axioms for
set theory?
More information about the FOM
mailing list