[...]: when all statements which are true (in some imaginable world), and which can be expressed as well-formed strings of the system, are theorems.
Answer
Completeness
If you want to change selection, open original toplevel document below and click on "Move attachment"
Parent (intermediate) annotation
Open it Completeness: when all statements which are true (in some imaginable world), and which can be expressed as well-formed strings of the system, are theorems.
Original toplevel document (pdf)
owner: piotr.wasik - (no access) - Douglas Hofstadter "Goedel, Escher, Bach", p101
Summary
status
not learned
measured difficulty
37% [default]
last interval [days]
repetition number in this series
0
memorised on
scheduled repetition
scheduled repetition interval
last repetition or drill
Details
No repetitions
Discussion
Do you want to join discussion? Click here to log in or create user.