本にある、
「(A)->(A)は、定理か?」という話があるけど、
P2：(x)-> ((x) V (y))の
xにA、yに¬(A)を入れて
(A) -> ((A)V ¬(A)) .....⑴
P3: ((x) V (y))-> ((y) V (x))
より
((A)V ¬(A)) -> (¬(A)V(A)) -> ((A)->(A)).....⑵
⑴、⑵より
(A) -> ((A)->(A))

((A)->(A))は公理である
でもいいの。