مبدأ التضمن والافتراض