So, for instance, there are nonstandard models of Peano arithmetic with uncountably many 'natural numbers'.
Тако на пример постоје нестандардни модели за Пеанову аритметику са непребројиво много 'природних бројева'.