数学基礎論学者の日本の横綱って竹内外史でいいの？
そのあとに林晋とか？
前原って生きてるの？ランキングつけて。相撲の番付限定で。