Theorem 15.7: The Unprovable Lemma

This statement cannot be proven within the axiomatic system of Book 3.

To prove it elsewhere, you must enter the Gödel number of the missing proof.

Hint: It's related to temporal loops and memory cycles.