This Stanford AI Memo of 1964 illustrated the fact that a theorem may not be easy to prove if the proof involves an idea not expressible in the language in which the theorem is stated.

It is available in
**.html**,
**.dvi**,
**.ps**, and
**.pdf** formats.

Send comments to .