В
математике не существует одного понятия бесконечности, она наделяется особыми свойствами в каждом разделе. Более того, эти различные «бесконечности» не взаимозаменяемы. К примеру,
теория множеств подразумевает разные бесконечности, причём одна может быть больше другой. Скажем, количество
целых чисел бесконечно большое (оно называется
счётным). Чтобы обобщить понятие количества элементов для бесконечных множеств, в математике вводится понятие
мощности множества. При этом не существует одной «бесконечной» мощности. Например, мощность множества
действительных чисел больше мощности целых чисел, потому что между этими множествами нельзя построить взаимно-однозначное соответствие (
биекцию), а целые числа включены в действительные. Таким образом, в этом случае одно
кардинальное число (равно мощности множества) «бесконечнее» другого. Основоположником этих понятий был немецкий математик
Георг Кантор.