Theo mình là cm như sau:
Rỗng là tập con của mọi tập hợp
<=> với mọi phần tử x: x thuộc rỗng => x thuộc mọi tập hợp
Mệnh đề "x thuộc rỗng" sai với mọi phần tử x nên mệnh đề "x thuộc rỗng => x thuộc mọi tập hợp" đúng với mọi phần tử x.
Suy ra đpcm.
Chú ý: x đúng với mọi biến , không là 1 giá trị cũng không sao ?