实无穷的抽象
数学和逻辑学的基本抽象之一，它使人们有可能应用从接触有限总体的经验中获得的逻辑原理（特别是排中律、任意抽样原则等）来研究无限总体(无穷集)。实无穷的抽象就是撇开无穷集形成过程的未完成性和不可完成性，撇开列举无穷集全部分子的不可能性（从这个意义上说，实无穷的抽象就是撇开集的“无穷”）。参见算法、数学上的无穷、集合论。
参考书目：
[A·H．科尔莫哥洛夫] <数学上的无穷> 载<苏联大百科全书>第5卷，莫斯科1950年第2版第73—74页；
H·A·沙宁<关于算术的几个逻辑问题>
莫斯科1955年版。 作者：B·乌斯宾斯基，莫斯科 译者：吴祖增
潜在可实现性的抽象
数学与逻辑学的基本抽象之一。这种抽象就是“撇开由于我们在空间和时间之中生存的局限性而带来的我们的构造可能性上的现实界限”(A.A.马尔科夫)。参见算法。 参考书目： A．A．马尔科夫, <算法论>， 莫斯科1954年版； H．A．沙宁, <论算术的几个逻辑问题>， 莫斯科1955年版。 译者：吴祖增
