I was a little disappointed that Brian Ford’s proof that ZF set theory is inconsistent was found to be in error. It will please me when ZF is proved inconsistent and we can finally move onto doing math in weak systems instead of strong systems.

In retrospect, I am not too surprised. The proof claimed that ZF without the axiom of replacement was inconsistent. I believe it is very likely that ZF without the axiom of replacement is consistent. Mostly because I suspect it is provably consistent in higher-order type theory, and I believe in the consistency of higher-order type theory.