أنواع الفرضية