 taking any selection of atomic propositions [where \(p\) “stands for all atomic propositions”; “the bar over the variable indicates that it is the representative of all its values” (5.501)], negating them all, then taking any selection of the set of propositions now obtained, together with any of the originals [where \(x\) “stands for any set of propositions”]—and so on indefinitely. 