Talk:Hilbert-style deduction system#Three approaches I found till now