>>602
> すべての自然数が条件「p｜またはq」を満たす
とは、左の図で塗りつぶされていない領域が実は空集合だということ。