ریاضیات سازنده

استقلال از فرضیه

اصل استقلال از فرضیه در نظریه اثبات و ریاضیات سازنده بیان می‌کند که اگر φ و ∃x θ جمله‌هایی در یک نظریه صوری باشند و φ → ∃x θ قابل اثبات باشد، آنگاه ∃x (φ → θ) نیز قابل اثبات است. این اصل در منطق کلاسیک معتبر است، اما در منطق شهودی به طور کلی اعتبار ندارد.