You run into the same problems when you have True(x) = NOT (False(x) OR Paradox(x)). You can define NotTrue(x) := False(x) OR Paradox(x), and then you have True

You run into the same problems when you have True(x) = NOT (False(x) OR Paradox(x)). You can define NotTrue(x) := False(x) OR Paradox(x), and then you have True(x) = NOT NotTrue(x), which one can build the usual diagonalizations on.