What is it you think may not be possible?
In the Godel sense. For example, it might be independent in whatever mathematical framework EY would find it reasonable to start from.
In the Godel sense. For example, it might be independent in whatever mathematical framework EY would find it reasonable to start from.