Определение конечного множества и дедуктивная неполнота теории множеств

Дается доказательство дедуктивной неполноты формализованной теории множеств, основанное на понятии рекурсивной неотделимости. Этот метод обнаруживает формально не разрешимые предложения, которые содержательно утверждают эквивалентность некоторых условий конечности множества.