教えてください．
ゲーデルの不完全性定理などの場合は，その意義は一般にも理解し易い
（本当に理解できているかは別として）のですが，
ZFとAC,CH,V=Lなどとの独立性は，なにを意味していると理解すればよいの
でしょうか？「形式体系というものは，．．．なものだ」という意味を
もっているに違いないと思うのですが．