实无穷是无穷公理+幂集和公理基础上的有限操作结果

elim

实无穷是无穷公理+幂集和公理基础上的有限操作结果。

这就是现行数学对希尔伯特有穷性原则的贯彻。直觉主义不认可任何人有限操作以外的东西，其结果当然使得数学世界空空如也，完全脱离数学实际，无法作为数学基础理论而存在。