Конечное множество

Конечность и бесконечность являются фундаментальными понятиями в математике.
Конечность множества определяется как наличие конечного числа элементов.
Формальные системы могут интерпретировать понятие множества и его конечности по-разному.
Существуют различные определения конечности, основанные на различных аксиоматических теориях множеств.
В контексте натуральных чисел, множество может быть конечным, если оно допускает биекцию к набору натуральных чисел.
В теории множеств ZF, конечность Куратовского и Дедекинда не всегда эквивалентны.
В теории множеств ZF существуют различные понятия конечности, которые расположены в порядке убывания силы.
Большинство определений конечности и их названий приписываются Тарскому.

Полный текст статьи:

Конечное множество — Википедия