基礎論村の住人は数学界の辺境から出てきてはいけない、隔離しておくべき