In my opinion, Kurt Gödel's claim points to something that seems to go wrong in Alonzo Church's successor function. For the sake of the argument, let's call tha

In my opinion, Kurt Gödel's claim points to something that seems to go wrong in Alonzo Church's successor function. For the sake of the argument, let's call that a bug. It would take a serious amount of work to point out how that would affect Zermelo–Fraenkel.