В чём проблема? Есть: finite, countably infinite, countable (=finite+countably infinite). Если нужно различать разные определения конечных, то есть finite и Dedekind-finite.
Я в том смысле, что устоявшейся терминологии нет; вот и получается, что одни говорят "finite" и "countably infinite" (и всё это называется "countable"), а другие -- "finite" и "denumerable" (и всё это, опять-таки, называется "countable"). Учебник Ленга, кстати, вполне современный, так что подобная терминология есть, целиком и полностью, дело вкуса.
no subject
Date: 2004-03-02 08:20 am (UTC)no subject
Date: 2004-03-02 11:16 am (UTC)(=finite+countably infinite).
Если нужно различать разные определения конечных, то есть finite и
Dedekind-finite.
Что-то я Вас не очень понимаю.
no subject
Date: 2004-03-02 02:16 pm (UTC)