引发数学界大震荡的罗素悖论

张立英

圖/机机先生

作为对罗素悖论的回应，集合论研究领域升级换代，从朴素集合论升级到了更严谨、更基础的公理集合论。而罗素除了给出类型论来回应自己发现的悖论，还因此和怀特海合作写出了被后世誉为“20世纪的逻辑圣经”的《数学原理》。