> There is an infinite cascade of provable 
> theorems of, say, number theory.

But what if you declare theorems which say the same thing to be the
_same theorem_, rewritten?

    Duraid


Reply via email to