Comment by fredgrott

its the old Godel trick of translating it into a different form..ie what Godel originally did to prove his own theorem was to translate his theorem into symbolics and than negate it,..

In their example they are expressing it in set theory and than operating on it...

I probably failed at explaining on a simple level...sorry