Good point, the blackboard example did not include the entire theorem.
Thereby demonstrating another theorem, proven by Kurt Gödel.