In 2013, Vol. 21, No. 2, pp. 180–199, doi:10.1093/phimat/nks027.

On p.190 of the article as published, the instructions for a correction were accidentally included in the final version of the article.

The section, which reads:

‘But (Naïve) assures (forumla and it also assures forumla. Thus, (Zermelo) entails that Naïve Abstraction is false.’ The two patches of symbols are parts of the display, omitting five symbols, ∼,∨,∼,(, and). The expression on two lines above is meant not to be broken. In particular the full stop before forumla should be adjacent to it. Advantage: Zermelo.

Should be read as:

But (Naïve) assures (forumla and it also assures forumla. Thus, (Zermelo) entails that Naïve Abstraction is false. Advantage: Zermelo.

This error was introduced into the article at the revision stage and is the responsibility of the OUP.