⊢(¬A→A)→A
I don't know how to solve this proof with the Axiom, Theorem and Inference rule in Hilbert-style proof system so I ask my classmate and he show me his answer. After viewing his proof, I was confused that his proof have controdiction in the assumption. (¬A→A)and ¬A can't be both true, so I disagreed with his proof. But he insisted that he is right. So I want to ask you for help. Can assumption in Hilbert style proof system be contradictory? If not, how to prove the formula correctly. His proof is attached below: