unknown

Any formal system powerful enough to describe itself contains truths that cannot be proven within the system. For creative AI: