递归定理造句

例句与造句

1. 利用无穷性公理和子集公理（见子集公理模式）可以定义w为最小的归纳集，一旦有了w就可以证明归纳原则和递归定理，然后就可以递归地定义自然数上的各种运算。
2. 用递归定理造句挺难的，這是一个万能造句的方法