2008.11.30

用4523659424929個符號定義1

形式化的數學繁瑣冗長,卻是電腦進入數學推理的重要基石。

布爾巴基對1的定義。

布爾巴基對1的定義。

© SCIENTIFIC AMERICAN, A DIVISION OF NATURE AMERICA, INC.ALL RIGHTS RESERVED.