Peterdjones comments on Second-Order Logic: The Controversy

[Peterdjones]

Utlrafrinitists tend no to specfify the highest number, to prevent people adding one to it.

[Larks]

Hence “may not”