 This is not to say that it has not struck people as obvious that the plural comprehension axioms are purely logical. For instance, Boolos asserts without argument that the translation of each plural comprehension axiom into English “expresses a logical truth if any sentence of English does” (Boolos 1985b: 342 [1998a: 167]; his emphasis). 