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