Does mathematics need new axioms? was the second of three plenary panel discussions held at the ASL annual meeting, ASL 2000, in Urbana-Champaign, in June, 2000. Each panelist in turn presented brief opening remarks, followed by a second round for responding to what the others had said; the session concluded with a lively discussion from the floor. The four articles collected here represent reworked and expanded versions of the first two parts of those proceedings, presented in the same order as the speakers appeared at the original panel discussion: Solomon Feferman (pp. 401–413), Penelope Maddy (pp. 413–422), John Steel (pp. 422–433), and Harvey Friedman (pp. 434–446). The work of each author is printed separately, with separate references, but the portions consisting of comments on and replies to others are clearly marked.
“数学需要新公理吗?”是在2000年6月于伊利诺伊州厄巴纳-香槟市举行的ASL年会上的三个主题讨论之一。每位专家依次发表简短的开场白,随后进行第二轮回应其他人的发言;会议最后以现场的热烈讨论结束。这里收集的四篇文章是对会议前两个部分进行重新修订和扩展的版本,按照原始小组讨论中的发言者顺序呈现:Solomon Feferman(第401-413页),Penelope Maddy(第413-422页),John Steel(第422-433页)和Harvey Friedman(第434-446页)。每位作者的作品都单独印刷,并附有独立的参考文献,但是包含对其他人的评论和回复的部分已经明确标记。