Map
Index
Random
Help
th

Quote: a formal system is complete if every true statement that can be expressed in the system is a theorem of the system

topics > all references > references g-h > QuoteRef: hofsDR_1979 , p. 101



Topic:
Godel's incompleteness theorem

Quotation Skeleton

Therefore, completeness means: "Every true statement which can …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: Godel's incompleteness theorem (19 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.