Forcing is an axiomatization, of the maximal, for a theorythat the maximal would make inconsistent.Then in the paraconsistent one can find simple enough that the_direct_ results of ZF are still so, but that _eventual_ or _extended_results are not, when _direct_ results of as intuitive a notion asthat there is an All, and consequences that there is, leave thehappy fiction that ZF could be consist