Re: Gödel's theorems in Wikipedia

From: ps218@xxxxxxxxx
Date: 22 Jun 2005 15:53:56 -0700

Very nicely done! A question arising: what's the nicest reference for
a proof of "first order arithmetic (Peano arithmetic or PA for short)
can prove that the largest consistent subset of PA is consistent."?

.

Follow-Ups:
- Re: Gödel's theorems in Wikipedia
  - From: Aatu Koskensilta
- Re: Gödel's theorems in Wikipedia
  - From: David C . Ullrich

References:
- Gödel's theorems in Wikipedia
  - From: Aatu Koskensilta
- re: Gödel's theorems in Wikipedia
  - From: Acme Diagnostics

Prev by Date: re: Gödel's theorems in Wikipedia
Next by Date: Re: Gödel's theorems in Wikipedia
Previous by thread: re: Gödel's theorems in Wikipedia
Next by thread: Re: Gödel's theorems in Wikipedia
Index(es):
- Date
- Thread