I addition to this conjecture I formulate one more similar conjecture:
Conjecture for arbitrary filters
and
on a powerset cannot be proved in ZF (without axiom of choice).
Notation (where is the set of filters on a powerset ordered reverse to set-theoretic inclusion):
;
.