You are currently offline. Some features of the site may not work correctly.

Independence of premise

In proof theory and constructive mathematics, the principle of independence of premise states that if φ and ∃ x θ are sentences in a formal theory… Expand