>>488
(1),(2),(3),(5)まで来て、(1)の固定されたnに対する次の定理B

＞n個の公理より成る任意の無矛盾な公理系Anを仮定すると、
＞Anを構成する任意の公理の組み合わせで構成される
＞任意の公理系は全て無矛盾でなければならない

が成り立つという状況下で定理Bの反例を作るなら、

「n個の公理より成る任意の無矛盾な公理系Anであって、
　Anを構成する任意の公理の組み合わせで構成される
　ある公理系は矛盾している」

という性質を満たすように公理系Anを作らなければならないんだぞ。
矛盾する1つの公理系を持ってきただけでは全然たりなくて、
その矛盾した公理を含む合計n個からなる無矛盾な公理系Anを
構成しなければ定理Bの反例にならんがな。