>>641
(1) 論理式BはTの公理でない⇒ T |- ¬φ("B")
不動点定理より
T |- ¬φ("B")⇒T |- B
論理式BはTの公理でない⇒T |- B
となってまずくないですか