質問です。
ベクトル空間の公理なのですが、どの公理もほかの7つの公理から証明できないことを証明したい（7つは真で結論が偽と解釈できるストラクチャーが存在することから、健全性定理より導出図が存在しないことになり、証明できないことが証明できる)
のですが、そのことが載っているpdf や本はありますでしょうか？