Berryのパラドックスの形式化