Prueba a partir de Γ (Γ⊢α)

Α se prueba a partir de Γ si existe una prueba α1,...,αn tal que: - α = αn - αi tiene dos opciones: 1) αi es una instancia de axioma 2) αi ∈ Γ 3) αi se obtiene por MP de αj, αk con j,k<i