Кінцеве, те, що має межу, кордон, кінець. У філософії поняття До. використовується як категорія, що характеризує всякий певний, обмежений об'єкт (річ, процес, явище, стан, властивість і т. д.). Кожен пізнаваний об'єкт дійсності виступає в деякому відношенні як До.
Визначеність До. додає його кордон. Вона може бути просторово-часовою, кількісною, якісною. Кордон і відокремлює кінцевий об'єкт від інших, і пов'язує його з ними. Тому До., з одного боку, володіє відносно самостійним, відособленим буттям, а з іншої — обумовлено чимось іншим і залежить від нього. У цьому полягає суперечність К. Наїболєє глибоке уявлення про До. дається знанням властивою йому заходи . Наявність кордону або міри необхідна передбачає можливість виходу за неї, тобто заперечення даного До., переходу або перетворення його в інше. Облік цей приводить до діалектичної концепції До., згідно якої воно може зрозуміти лише як єдність власного буття з власним небуттям, як взаїмопереход їх один в одного. Інакше кажучи, До. повинно розумітися як рухоме, таке, що змінюється, скороминуще.
Розгляд процесу руху До., в ході якого здійснюється постійний вихід за його кордон, веде до ідеї нескінченність . Зв'язок До. з безконечним носить двоякий характер: по-перше, всякий кінцевий об'єкт пов'язаний з безконечним різноманіттям інших кінцевих об'єктів «у нестямі» (екстенсивна нескінченність); по-друге, він містить безконечне в собі як вираження загальних, інваріантних характеристик (інтенсивна нескінченність). Отже, при пізнанні будь-якого матеріального об'єкту ми натрапляємо на єдність До. і безконечного. Всякий матеріальний об'єкт невичерпний (принцип невичерпності матерії). Пізнання «полягає в тому, що ми знаходимо і констатуємо безконечне в кінцевому, вічне — в скороминущому» (Енгельс Ф., дивися Маркс До. і Енгельс Ф., Соч., 2 видавництва, т. 20, с. 548).
В математиці поняття До. (як і поняття безконечного) конкретизується стосовно специфіки математичних об'єктів. При побудові тієї або іншої математичної теорії воно отримує різні тлумачення, в яких враховуються лише ті способи визначення і обмеження об'єктів, з якими оперує дана теорія. При розгляді об'єктів, кінцевих в одному відношенні і безконечних в іншому, в математиці незрідка називають їх кінцевими, але необмеженими, або безконечними, але обмеженими (наприклад, безліч точок відрізання прямої нескінченно, але обмежено; замкнутий еліптичний простір Рімана кінцевий, але не обмежено). У цих випадках, проте, під кінцівкою (нескінченністю) також розуміється наявність (відсутність) кордону в деякому відношенні (наприклад, простір Рімана кінцевий в тому сенсі, що має кількісний кордон, що характеризує величину найбільшої відстані в нім). У найбільш загальній формі математичного визначення До. (кінцевої безлічі) даються в математичній логіці і теорії безлічі (наприклад, дедекиндово визначення: безліч М-коду кінцева, якщо серед його власних підмножин не існує такого, яке було б еквівалентне йому). Доведено, що серед різних визначень кінцевої безлічі не може бути ні «найсильнішого», ні «найслабкішого», тобто для будь-якого з них знайдеться як таке визначення, яке логічно виводиться з нього, так і таке, з якого воно само може бути виведене.
