数学基础学派中的逻辑主义

十九世纪末,为了寻找数学的基础,数学家康托创立了著名的集合论。然在随着一系列悖论的发现,尤其是罗素悖论的发现,使得刚刚建立起来的令数学家激动的现代数学大厦的基础又发生了崩塌(第三次数学危机),引发了当时数学界关于数学的(哲学)基础的一场大辩论,并由不同的哲学观点而产生了逻辑主义、直觉主义及形式主义的三大学派。本文只就罗素。