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?
Edited: Common knowledge is used to be thought about like a limit of "I know that you know that I know that you know that I know..."
A nice example is given here.