Den mathematischen Satz kann man sich vorstellen als ein Lebewesen das selbst weiß, ob es wahr oder falsch ist. (Zum Unterschied von den eigentlichen Sätzen.)