(この辺は基礎論スレの方が適当かな?)