sʊβˈɛl ʋˈa səɲɐlˈa kˈɛ əls ɐɡzjˈoməs ðə ɣʊðˈɛl son mˈasɐ fˈoɾts: imlˈikən kˈɛ tˈots əls mˈons pʊsˈiβləs son iðˈɛntiks.
Sobel va senyalar que els axiomes de Gödel són massa forts: impliquen que tots els mons possibles són idèntics.