[FOM] Is Con_Q provable in Q?

Arnon Avron aa at tau.ac.il
Sat May 28 03:20:23 EDT 2005


In all texts I know about Godel second incompleteness theorem (the
theorem about consistency proofs), it is proved for theories which
are "strong enough", where "strong enough" means: consistent axiomatic
extensions of PRA. My intuition, which is not very reliable, tells me
that the theorem should apply also to weaker theories, for example: to
Robinson's arithmetics Q. Can anybody give me references to works 
which might be relevant to this question?

Thanks

Arnon Avron

School of CS
Tel-Aviv University


More information about the FOM mailing list