>>533
ラッセルは二通りの証明をしたと言われている
一つは人間を数字に見立てた哲学的な証明
もう一つは、論理記号が９０パーセントを占めている２００ページにも及ぶ証明

こんなことが俺の持っている数学史の本にかかれていたような・・・何か忘れた