弗雷格的《概念文字》

摘要

我们在本短文中简要地介绍弗雷格《概念文字》中的两个重要贡献：首先，我们指出，根据 Boolos等人的论证，弗雷格的《概念文字》中的逻辑本质上是完整的二阶逻辑；其次，我们介绍弗雷格如何用遗传性概念来定义祖先关系，进而定义自然数或有穷数，并使得数学归纳法仅根据自然数的定义就得以成立。