>>727
計算理論や再帰理論では命題論理を基礎とする一回述語論理が使われることもあって、
命題論理の公理の中に、>>727で書いた公理がある。
私の証明は基本的な手法を応用しただけだから、問題ない。