集合論とかジョルダン測度とか