Reid Nichol wrote: > --- Duncan Patton a Campbell <[EMAIL PROTECTED]> wrote: > > > On Sun, 6 Jan 2008 22:21:14 -0500 > > "Eliah Kagan" <[EMAIL PROTECTED]> wrote: > > > > > (There are also multiple useful, > > > mutually-inconsistent formal systems in both fields.) > > > > Provably so? > > +1 > > I'd love an example of Math being inconsistent. Quite frankly, I'd be > surprised if this is true. > System A being inconsistent with System B (that's what the "mutually-inconsistent formal systems" means)
System RMS being self-inconsistent (that's this thread)
