标准模型
还存在数论的非标准模型，它包含不只是数 0, 1, 2, 的其他对象。但是这个语言同于标准数论，因为这些额外的对象不能被提及。所以数论的标准模型和非标准模型是初等等价的。