Математика стремится избегать так называемых "абсолютных" вопросов. Надо прежде всего уточнить все термины, употреблённые в этом вопросе - пустое множество, "любое" множество, подмножество, доказательство, наконец. Обычно пустое множество вводится по определению или по условию, что оно - подмножество любого множества данной теории, и это никакого доказательства не требует