Robert Adams' definition of a possible world is paradoxical according to Selmer Bringsjord, Patrick Grim and, more recently, Cristopher Menzel. The proofs given by Bringsjord and Grim relied crucially on the Powerset Axiom; ...