Flow: the Axiom of Choice is independent from the Partition Principle in ZFU

Adonai Sant'Anna, Renato Brodzinski, Marcio de França +1

We introduce a formal theory called Flow where the intended interpretation of its terms is that of function. We prove ZF, ZFC and ZFU (ZF with atoms) can be immersed within Flow as…