| 
|
Quote: the consistency of a recursive consistent class of formulas is not provable in the system
topics >
all references >
references g-h >
Topic:
limitations of formalism
Topic:
Godel's incompleteness theorem
Quotation Skeleton
Theorem XI. Let \kappa be any recursive consistent … particular, the consistency of P is not provable … [in P]). Google-1 Google-2
Copyright clearance needed for quotation.
Topic: limitations of formalism (92 items)
Topic: Godel's incompleteness theorem (19 items)