Comment by Zhyl
But here's the thing, it's not that the statement isn't formalisable, it's the method that you used to formalise it isn't formalisable.
But here's the thing, it's not that the statement isn't formalisable, it's the method that you used to formalise it isn't formalisable.