But this reference does not say what you say. There is an infinite cascade of provable theorems of, say, number theory.
> From Hal Ruhl <[EMAIL PROTECTED]> Wed Apr 11 05:02:30 2001: > For the cite to Chaitin see "The Limits to Mathematics" page 17 note 1 at > the bottom of the page.