ω-総和可能性