- ...Puzzle
- Adapted slightly from Chapter I
of Rayond Smullyan's (1992)
Gödel's Incompleteness Proofs (Oxford, UK: Oxford
University Press).
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...iff
- Traditional abbreviation in logic for
`if and only if.'
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.