是從頭開始,構建數學的基礎。這個和一百年前羅素要構建數學的基礎類似。

請您先登陸,再發跟帖!