4 ms·

That seems entirely circular.

• carlehewitt 8y ago
  Gödel's proposition "I'mUnprovable" cannot be constructed as a fixed point of P |-> ~|-P because ~|-P has order one greater than the order of P.