Automated ZFC Theorem Proving with E

John Hester

I introduce an approach for automated reasoning in first order set theories that are not finitely axiomatizable, such as $ZFC$, and describe its implementation alongside the automa…