Second-order arithmetic

which is inconsistent. This convention is assumed in the remainder of this article.

When a model of the language of second-order arithmetic has certain properties, it can also be called these other names: