雪后初晴

雪，

是雨做的扫帚。

雨，

通过雪，

证明自己存在"∃"。

"∃一场雨x∈{x|秋初＜x＜冬末}，

使天空变干净成立”

是真命题。