Therefore, the two sets of axioms generate the same theory: Frege's PC is equivalent to standard PC.
所以两个公理集合生成相同的理论: Frege 的 PC 等价于标准 PC。