利用对应的方法认识自然数，形成自然数的序数理论；利用定义的方法认识自然数，形成自然数的基数理论