>>583
こんなこと言うのなら、基礎論の人とルベーグの決着をつけたら?