Aristotle 区分过两种无穷： 潜无穷是可以无限进行下去的过程，比如数数总能再数下一个； 实无穷则是已经完成的无穷整体． 词项的集合 花体(T) 可以从两个角度看： 按 词项的集合 的集合定义，它是现成的无穷集合（实无穷）； 按“用规则在有限步内搭出来”的生成方式，每个词项都是有限过程的产物．

结构归纳原理 的关键在于： 它让我们对无穷集合下结论，却只需检查有限多条规则． 这也是数学基础里构造主义认可归纳定义的原因：每个对象都有有限的构造历史．

潜无穷体现在“总能构造出更大的有限项”这一点上： 单个项由有限步骤构成，这一事实本身并不说明潜无穷；说明它的是项的构造过程没有上界．