集合論について

not[ZF|-V=L], ZF|-(V=L->CH), ZF|-(V=L->AC)　に比べて、
not[ZF|-AC] やnot[ZF|-not AC]を示すのが難しくなるのは
どうしてだろう？ということかな