Например, у нас есть множество натуральных чисел, на обыденном языке мы говорим, что натуральных чисел бесконечное количество или мощность этого множества не принадлежит ему же, хотя это уже ближе к самой математике. Что это значит с точки зрения математики, как в ней задается такое множество, которое содержит «бесконечное» число элементов? Как строятся те объекты, которые мы сможем охарактеризовать как бесконечные?