Given enough material to formalize the kind of self reference involved in Gödel's first incompleteness theorem (say, by quoting syntax into elementary number theory), one can formalize the problem in terms of deducibility and eliminate any notion of knowledge.