The abstraction of potential and actual infinities and some of the set-theoretic constructions.
Keywords:
infinity, infinite set, set-theoretic proveAbstract
An example of the natural numbers are analyzed and compared by the abstraction of potential and actual infinity. Present arguments calling into the question the consistency of the second of these abstractions. By means of these infinity abstractions, incorrectness of the set-theoretic prove of the theorem which states that any infinite set has denumerable subset has been proved.References
Клини С.К. Введение в метаматематику / С.К. Клини. – М.: И.Л, 1957. – 526 с.
Мендельсон Э. Введение в математическую логику / Э. Мендельсон – М.: Наука, 1976. – 320 с.