"

 Axiom of choice 

Ah, I see.  Sorry about that!  Perhaps we should mention it in the article (""if we include the additional qualification that S is the set of all first-order sentences, the resulting weaker statement is equivalent to BPI/UltrafilterLemma instead"")?   "