Prueba

Una prueba de α es una sucesión de fórmulas α1,...,αn con: - α = αn - αi tiene dos opciones: 1) es una instancia de axioma 2) existen αj, αk con j,k<i tal que αj = αk->αi. Entonces αi se obtiene por Modus Ponens de αj y αk