>>54
その基準を作る話は数学の社会に対する有用性の基準を作る話に
どうつながっていくのか?