ZFC | Math Research of Victor Porton

I addition to this conjecture I formulate one more similar conjecture: Conjecture for arbitrary filters and on a powerset cannot

Conjecture: Distributivity of a lattice of funcoids is not provable without axiom of choice

Conjecture Distributivity of the lattice of funcoids (for arbitrary sets and ) is not provable in ZF (without axiom of

I wrote short article “Generalization in ZF” accompanied with Isabelle/ZF sources. This is a draft and alpha. I await your