λ毎の存在と全λの存在は別の事
常識的な推論ではなく形式化された推論での話