3 ms·
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 symboli
by fredgrott 8y ago
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
- rs86 8y agoTheorems are strings of symbols and can thus be encoded as numbers, and statements about numbers become statements about theorems. That's why the theorem applies to systems at least as strong as arithmetics