If NE is a CK? It seems that yes since given all information about payoffs/strategies players can derive NE based on the procedures similar to that of in the common knowledge, but I'm not sure.
I read on a wikipedia page that from the modal logic formalization CK can be formulated as a fixed point. If it also holds for the set theory formalization? If it does, where I can find about it? ...